Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q574902> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Q574902 subject Q7020589.
- Q574902 subject Q7082730.
- Q574902 subject Q7451973.
- Q574902 subject Q8622256.
- Q574902 abstract "Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth cannot be defined in arithmetic.The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.".
- Q574902 wikiPageExternalLink mmg.html.
- Q574902 wikiPageExternalLink hpl1.ps.
- Q574902 wikiPageExternalLink Tarski%20-%20The%20Concept%20of%20Truth%20in%20Formalized%20Languages.pdf.
- Q574902 wikiPageWikiLink Q1129622.
- Q574902 wikiPageWikiLink Q1166618.
- Q574902 wikiPageWikiLink Q1392740.
- Q574902 wikiPageWikiLink Q14402006.
- Q574902 wikiPageWikiLink Q1451046.
- Q574902 wikiPageWikiLink Q1701524.
- Q574902 wikiPageWikiLink Q17455.
- Q574902 wikiPageWikiLink Q179080.
- Q574902 wikiPageWikiLink Q179976.
- Q574902 wikiPageWikiLink Q1851710.
- Q574902 wikiPageWikiLink Q185521.
- Q574902 wikiPageWikiLink Q190558.
- Q574902 wikiPageWikiLink Q191849.
- Q574902 wikiPageWikiLink Q193983.
- Q574902 wikiPageWikiLink Q200787.
- Q574902 wikiPageWikiLink Q207534.
- Q574902 wikiPageWikiLink Q2904195.
- Q574902 wikiPageWikiLink Q3007384.
- Q574902 wikiPageWikiLink Q3025885.
- Q574902 wikiPageWikiLink Q39645.
- Q574902 wikiPageWikiLink Q41390.
- Q574902 wikiPageWikiLink Q4347052.
- Q574902 wikiPageWikiLink Q441178.
- Q574902 wikiPageWikiLink Q5508846.
- Q574902 wikiPageWikiLink Q6251515.
- Q574902 wikiPageWikiLink Q649732.
- Q574902 wikiPageWikiLink Q669094.
- Q574902 wikiPageWikiLink Q7020589.
- Q574902 wikiPageWikiLink Q7082730.
- Q574902 wikiPageWikiLink Q7326846.
- Q574902 wikiPageWikiLink Q7442973.
- Q574902 wikiPageWikiLink Q7451973.
- Q574902 wikiPageWikiLink Q7848347.
- Q574902 wikiPageWikiLink Q833585.
- Q574902 wikiPageWikiLink Q842755.
- Q574902 wikiPageWikiLink Q8622256.
- Q574902 wikiPageWikiLink Q877945.
- Q574902 comment "Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth cannot be defined in arithmetic.The theorem applies more generally to any sufficiently strong formal system, showing that truth in the standard model of the system cannot be defined within the system.".
- Q574902 label "Tarski's undefinability theorem".