- is consistent, then Gödel's
incompleteness theorems would apply to it.
Gödelian arguments claim that a
system of
human mathematicians (or some idealization...
- (since 1989) have
championed this
philosophical anti-mechanist argument.
Gödelian anti-mechanist
arguments tend to rely on the innocuous-seeming
claim that...
-
Group Archived 30
August 2003 at the
Wayback Machine J.R. Lucas, "The
Gödelian Argument" H.T. Siegelmann, "Com****tion
Beyond the
Turing Limit," Science...
-
enzymes through protein synthesis and DNA replication, and self-referential
Gödelian statements in
formal systems. In I Am a
Strange Loop,
Hofstadter defines...
-
human mathematician could both see, and show, to be true. The
paper is a
Gödelian argument against mechanism.
Lucas presented the
paper in 1959 to the Oxford...
-
approach on
multiple grounds,
including the
mathematical validity of his
Gödelian argument and
theoretical background. In 1996,
Penrose offered a consolidated...
- algorithmic: MindPapers: 6.1b.
Godelian arguments Archived 11 June 2011 at the
Wayback Machine References for
Criticisms of the
Gödelian Argument Archived 3 July...
- 173–181. "MindPapers: 6.1b.
Godelian arguments". Consc.net.
Retrieved 28 July 2014. "References for
Criticisms of the
Gödelian Argument". Users.ox.ac.uk...
- case of
Gödelian self-reference; and Bach's
failure to
finish his self-referential
fugue serves as a
metaphor for the
unprovability of the
Gödelian ****ertion...
- was
published in 1957 in the
Journal of
Symbolic Logic,
showing that
Gödelian incompleteness held for
formal systems considerably more
elementary than...
