Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/resource/Gentzen's_consistency_proof
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
unknown
Property
Value
dbo:
description
mathematical logic concept
(en)
conceito de lógica matemática
(pt)
concepte lògic matemàtic
(ca)
dbo:
wikiPageExternalLink
http://gdz.sub.uni-goettingen.de/dms/resolveppn/%3FPPN=GDZPPN002278391
http://folk.uio.no/herman/bevisteori.ps
http://home.uchicago.edu/~wwtx/GoedelandNCInew1.pdf%7Cissn=1079-8986%7Cdoi=10.2178/bsl/1120231632%7Cs2cid=9481361
http://blms.oxfordjournals.org/content/14/4/285.full.pdf%7Carchive-url=https:/web.archive.org/web/20140912192723/http:/blms.oxfordjournals.org/content/14/4/285.full.pdf%7Curl-status=dead%7Carchive-date=2014-09-12%7Cdoi=10.1112/blms/14.4.285%7Cciteseerx=10.1.1.107.3303
https://web.archive.org/web/20110607104500/http:/folk.uio.no/herman/bevisteori.ps
https://archive.org/details/collectedpaperso0000gent
https://books.google.com/books%3Fid=gDzbuUwma5MC&pg=PA87
https://books.google.com/books%3Fid=wc4R0BHdo-sC
http://www.mathnet.ru/links/66e95bde0afcc6b1153f969482e61ddb/rm7377.pdf
dbo:
wikiPageWikiLink
dbr
:Ordinal_arithmetic
dbr
:Gerhard_Gentzen
dbr
:Wilhelm_Ackermann
dbr
:Recursion
dbr
:Peano_axioms
dbr
:Quantifier_(logic)
dbc
:Proof_theory
dbr
:Factorial
dbr
:Paul_Bernays
dbr
:Proof_theory
dbr
:Robinson_arithmetic
dbr
:Hermann_Weyl
dbr
:Gödel's_completeness_theorem
dbr
:Goodstein's_theorem
dbr
:Tree_(set_theory)
dbr
:Ordinal_number
dbr
:Solomon_Feferman
dbr
:Transfinite_induction
dbr
:Primitive_recursive_arithmetic
dbr
:Annals_of_Mathematics
dbc
:Metatheorems
dbr
:Kurt_Gödel
dbr
:Mathematical_logic
dbr
:Large_countable_ordinal
dbr
:Jeff_Paris_(mathematician)
dbr
:Ordinal_analysis
dbr
:Ordinal_notation
dbr
:Natural_number
dbr
:Comparability
dbr
:Recursive_set
dbr
:Fibonacci_number
dbr
:Interpretability
dbr
:Epsilon_numbers_(mathematics)
dbr
:Consistent
dbr
:Bull._London_Math._Soc.
dbr
:Primitive_recursive
dbr
:Well-ordering
dbr
:Gödel's_second_incompleteness_theorem
dbr
:Laurence_Kirby
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Reflist
dbt
:Cite_journal
dbt
:Sfn
dbt
:Citation
dbt
:Mathematical_logic
dbt
:Harv
dbt
:Harvid
dbt
:Harvtxt
dbt
:Short_description
dct:
subject
dbc
:Proof_theory
dbc
:Metatheorems
gold:
hypernym
dbr
:Result
rdfs:
label
Gentzen's consistency proof
(en)
겐첸의 일관성 증명
(ko)
owl:
sameAs
freebase
:m.0bgwt8
wikidata
:Q5533794
dbpedia-ko
:겐첸의_일관성_증명
dbpedia-global
:4kXEP
prov:
wasDerivedFrom
wikipedia-en
:Gentzen's_consistency_proof?oldid=1274478799&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Gentzen's_consistency_proof
is
dbo:
knownFor
of
dbr
:Gerhard_Gentzen
is
dbo:
wikiPageRedirects
of
dbr
:Gentzen's_theorem
dbr
:Gentzen_consistency_proof
is
dbo:
wikiPageWikiLink
of
dbr
:Gerhard_Gentzen
dbr
:Sequent_calculus
dbr
:Peano_axioms
dbr
:Consistency
dbr
:Kuno_Lorenz
dbr
:Cut-elimination_theorem
dbr
:Gödel's_incompleteness_theorems
dbr
:Robinson_arithmetic
dbr
:Epsilon_number
dbr
:Presburger_arithmetic
dbr
:Primitive_recursive_arithmetic
dbr
:Hilbert's_program
dbr
:Theorem
dbr
:List_of_mathematical_logic_topics
dbr
:Ordinal_analysis
dbr
:Gentzen's_theorem
dbr
:Gentzen_consistency_proof
is
dbp:
knownFor
of
dbr
:Gerhard_Gentzen
is
foaf:
primaryTopic
of
wikipedia-en
:Gentzen's_consistency_proof
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International