Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Metamathematics> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Metamathematics abstract "Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the term itself) is due to David Hilbert's attempt of proving the consistency of mathematical theories by proving a proposition about a theory itself, i.e. specifically about all possible proofs of theorems in the theory; in particular, both a proposition A and its negation not A should not be theorems (Kleene 1952, p. 55). However, metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic, among which the consistency problem is only one" (Kleene 1952, p. 59).".
- Metamathematics wikiPageExternalLink 2251836.
- Metamathematics wikiPageID "183508".
- Metamathematics wikiPageRevisionID "601442840".
- Metamathematics hasPhotoCollection Metamathematics.
- Metamathematics subject Category:Logic.
- Metamathematics subject Category:Mathematical_logic.
- Metamathematics subject Category:Metatheory.
- Metamathematics comment "Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the term itself) is due to David Hilbert's attempt of proving the consistency of mathematical theories by proving a proposition about a theory itself, i.e.".
- Metamathematics label "Metamatematica".
- Metamathematics label "Metamatematyka".
- Metamathematics label "Metamatemática".
- Metamathematics label "Metamatemática".
- Metamathematics label "Metamathematics".
- Metamathematics label "Metamathematik".
- Metamathematics label "Metawiskunde".
- Metamathematics label "Метаматематика".
- Metamathematics label "ماوراء الرياضيات".
- Metamathematics label "元数学".
- Metamathematics label "超数学".
- Metamathematics sameAs Metamathematik.
- Metamathematics sameAs Metamatemática.
- Metamathematics sameAs Metamatematika.
- Metamathematics sameAs Metamatematica.
- Metamathematics sameAs 超数学.
- Metamathematics sameAs Metawiskunde.
- Metamathematics sameAs Metamatematyka.
- Metamathematics sameAs Metamatemática.
- Metamathematics sameAs m.0191yz.
- Metamathematics sameAs Q903508.
- Metamathematics sameAs Q903508.
- Metamathematics wasDerivedFrom Metamathematics?oldid=601442840.
- Metamathematics isPrimaryTopicOf Metamathematics.