Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Ordinal_logic> ?p ?o }
Showing triples 1 to 28 of
28
with 100 triples per page.
- Ordinal_logic abstract "In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics. The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of Gödel's incompleteness theorems.While Gödel showed that every system of logic suffers from some form of incompleteness, Turing focused on a method so that from a given system of logic a more complete system may be constructed. By repeating the process a sequence L1, L2, … of logics is obtained, each more complete than the previous one. A logic L can then be constructed in which the provable theorems are the totality of theorems provable with the help of the L1, L2, … etc. Thus Turing showed how one can associate a logic with any constructive ordinal.".
- Ordinal_logic wikiPageID "32123297".
- Ordinal_logic wikiPageLength "1488".
- Ordinal_logic wikiPageOutDegree "8".
- Ordinal_logic wikiPageRevisionID "490075488".
- Ordinal_logic wikiPageWikiLink Alan_Turing.
- Ordinal_logic wikiPageWikiLink Category:Mathematical_logic.
- Ordinal_logic wikiPageWikiLink Category:Ordinal_numbers.
- Ordinal_logic wikiPageWikiLink Category:Systems_of_formal_logic.
- Ordinal_logic wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Ordinal_logic wikiPageWikiLink Mathematics.
- Ordinal_logic wikiPageWikiLink Ordinal_notation.
- Ordinal_logic wikiPageWikiLink Ordinal_number.
- Ordinal_logic wikiPageWikiLinkText "ordinal logic".
- Ordinal_logic wikiPageUsesTemplate Template:Mathlogic-stub.
- Ordinal_logic wikiPageUsesTemplate Template:Reflist.
- Ordinal_logic subject Category:Mathematical_logic.
- Ordinal_logic subject Category:Ordinal_numbers.
- Ordinal_logic subject Category:Systems_of_formal_logic.
- Ordinal_logic hypernym Logic.
- Ordinal_logic type Field.
- Ordinal_logic comment "In mathematics, ordinal logic is a logic associated with an ordinal number by recursively adding elements to a sequence of previous logics. The concept was introduced in 1938 by Alan Turing in his PhD dissertation at Princeton in view of Gödel's incompleteness theorems.While Gödel showed that every system of logic suffers from some form of incompleteness, Turing focused on a method so that from a given system of logic a more complete system may be constructed.".
- Ordinal_logic label "Ordinal logic".
- Ordinal_logic sameAs Q7100788.
- Ordinal_logic sameAs m.0gwzx04.
- Ordinal_logic sameAs Q7100788.
- Ordinal_logic wasDerivedFrom Ordinal_logic?oldid=490075488.
- Ordinal_logic isPrimaryTopicOf Ordinal_logic.