|
|
|
|
beyond formalism: Gödel's incompleteness
|
(Topic)
|
|
"beyond formalism: Gödel's incompleteness" is owned by gribskoff.
|
|
(view preamble | get metadata)
See Also: foundations of mathematics: overview, an outline of Hilbert's programme, Gödel numbering, Gödel's incompleteness theorems, analytics and formal logics in meta-mathematics, algebraic category of LMn logic algebras, from Hilbert's tenth problem to Gödel's trichotomy, Gödel's beta function, mathematical platonism
| Other names: |
Gödel's Theorem, Incompleteness Theorem, Tarski's theorem |
| Also defines: |
Incompleteness, Omega-Consistency, Arithmetic truth |
| Keywords: |
Incompleteness, Omega-Consistency, Recursive indecidebility |
|
|
Cross-references: decide, algorithm, effective, characteristic function, lemma, reduction formula, monadic, a fortiori, infinite, inconsistent, entails, reductio ad absurdum, primitive recursive, implication, recursive functions, derivable, incomplete, NOR, Calculus, reduction, hypothesis, conclusion, closed, insertion, negation, simple, recursive, representable, free variables, expressible, relations, reference, useful, occurrence, sentence, predicate, Gödel numbering, prime number, odd, Gödel numbers, computable, clauses, subset, range, finite sequences, expressions, union, expectations, negative, definable, point, isomorphic, represent, domain, satisfy, least number, logic, complete, quotient, divisibility, product, proof, modus ponens, applications, formula, premises, well-formed formulas, induction, scheme, state, well formed formula, initial object, constant, functional, binary, variables, denumerable, equality, first order theory, Dedekind axioms, axiomatic, real, rational, number systems, derivation, theory of sets, implies, successor, unary, characterization, number, reflection, cardinals, place, extension, obvious, functions, number theory, representation, properties, restriction, rational numbers, integers, natural numbers, contains, consistent, rules of inference, axioms, theorems, argument, Haskell, image, Bourbaki, even, paradoxes, degree, sufficient, reduced, substitution, order, abstract objects, decision problem, solution, positive, Philosophy of Mathematics, complex, arithmetic, preserve, contradiction, theory, consistency proof, object, chess, game, semantics, syntax, fixed, language, interpretation, sequences, propositions, complex number, configurations, Formalism, term, Foundations of Mathematics
There are 8 references to this entry.
This is version 25 of beyond formalism: Gödel's incompleteness, born on 2008-09-25, modified 2008-11-09.
Object id is 11093, canonical name is BeyondFormalism.
Accessed 2683 times total.
Classification:
| AMS MSC: | 03-01 (Mathematical logic and foundations :: Instructional exposition ) | | | 03A05 (Mathematical logic and foundations :: Philosophical and critical) | | | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
