Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Ordinal_logic> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items 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 wikiPageRevisionID "490075488".
- Ordinal_logic hasPhotoCollection Ordinal_logic.
- Ordinal_logic subject Category:Mathematical_logic.
- Ordinal_logic subject Category:Ordinal_numbers.
- Ordinal_logic subject Category:Systems_of_formal_logic.
- Ordinal_logic type Ability105616246.
- Ordinal_logic type Abstraction100002137.
- Ordinal_logic type Cognition100023271.
- Ordinal_logic type DefiniteQuantity113576101.
- Ordinal_logic type Know-how105616786.
- Ordinal_logic type Logic105664069.
- Ordinal_logic type Measure100033615.
- Ordinal_logic type Method105660268.
- Ordinal_logic type Number113582013.
- Ordinal_logic type OrdinalNumber113597280.
- Ordinal_logic type OrdinalNumbers.
- Ordinal_logic type PsychologicalFeature100023100.
- Ordinal_logic type System105661996.
- Ordinal_logic type SystemsOfFormalLogic.
- 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 m.0gwzx04.
- Ordinal_logic sameAs Q7100788.
- Ordinal_logic sameAs Q7100788.
- Ordinal_logic sameAs Ordinal_logic.
- Ordinal_logic wasDerivedFrom Ordinal_logic?oldid=490075488.
- Ordinal_logic isPrimaryTopicOf Ordinal_logic.