Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Systems_of_Logic_Based_on_Ordinals> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- Systems_of_Logic_Based_on_Ordinals abstract "Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.The thesis is an exploration of formal mathematical systems after Gödel's theorem. Gödel showed for that any formal system S powerful enough to represent arithmetic, there is a theorem G which is true but the system is unable to prove. G could be added as an additional axiom to the system in place of a proof. However this would create a new system S' with its own unprovable true theorem G', and so on. Turing's thesis considers iterating the process to infinity, creating a system with an infinite set of axioms.The thesis was completed at Princeton under Alonzo Church and was a classic work in mathematics which introduced the concept of ordinal logic.Martin Davis states that although Turing's use of a computing oracle is not a major focus of the dissertation, it has proven to be highly influential in theoretical computer science, e.g. in the polynomial time hierarchy.".
- Systems_of_Logic_Based_on_Ordinals wikiPageExternalLink turingnotices.pdf.
- Systems_of_Logic_Based_on_Ordinals wikiPageExternalLink dissertation.
- Systems_of_Logic_Based_on_Ordinals wikiPageID "32122937".
- Systems_of_Logic_Based_on_Ordinals wikiPageRevisionID "585202308".
- Systems_of_Logic_Based_on_Ordinals hasPhotoCollection Systems_of_Logic_Based_on_Ordinals.
- Systems_of_Logic_Based_on_Ordinals subject Category:Alan_Turing.
- Systems_of_Logic_Based_on_Ordinals subject Category:History_of_logic.
- Systems_of_Logic_Based_on_Ordinals subject Category:Ordinal_numbers.
- Systems_of_Logic_Based_on_Ordinals subject Category:Systems_of_formal_logic.
- Systems_of_Logic_Based_on_Ordinals type Ability105616246.
- Systems_of_Logic_Based_on_Ordinals type Abstraction100002137.
- Systems_of_Logic_Based_on_Ordinals type Cognition100023271.
- Systems_of_Logic_Based_on_Ordinals type DefiniteQuantity113576101.
- Systems_of_Logic_Based_on_Ordinals type Know-how105616786.
- Systems_of_Logic_Based_on_Ordinals type Logic105664069.
- Systems_of_Logic_Based_on_Ordinals type Measure100033615.
- Systems_of_Logic_Based_on_Ordinals type Method105660268.
- Systems_of_Logic_Based_on_Ordinals type Number113582013.
- Systems_of_Logic_Based_on_Ordinals type OrdinalNumber113597280.
- Systems_of_Logic_Based_on_Ordinals type OrdinalNumbers.
- Systems_of_Logic_Based_on_Ordinals type PsychologicalFeature100023100.
- Systems_of_Logic_Based_on_Ordinals type System105661996.
- Systems_of_Logic_Based_on_Ordinals type SystemsOfFormalLogic.
- Systems_of_Logic_Based_on_Ordinals comment "Systems of Logic Based on Ordinals was the PhD dissertation of the mathematician Alan Turing.The thesis is an exploration of formal mathematical systems after Gödel's theorem. Gödel showed for that any formal system S powerful enough to represent arithmetic, there is a theorem G which is true but the system is unable to prove. G could be added as an additional axiom to the system in place of a proof.".
- Systems_of_Logic_Based_on_Ordinals label "Systems of Logic Based on Ordinals".
- Systems_of_Logic_Based_on_Ordinals sameAs m.0gx0x9s.
- Systems_of_Logic_Based_on_Ordinals sameAs Q7663875.
- Systems_of_Logic_Based_on_Ordinals sameAs Q7663875.
- Systems_of_Logic_Based_on_Ordinals sameAs Systems_of_Logic_Based_on_Ordinals.
- Systems_of_Logic_Based_on_Ordinals wasDerivedFrom Systems_of_Logic_Based_on_Ordinals?oldid=585202308.
- Systems_of_Logic_Based_on_Ordinals isPrimaryTopicOf Systems_of_Logic_Based_on_Ordinals.