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:
Timeline of mathematical logic
An Entity of Type:
Timeline106504965
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
A timeline of mathematical logic. See also History of logic.
Property
Value
dbo:
abstract
A timeline of mathematical logic. See also History of logic.
(en)
dbo:
wikiPageID
19374379
(xsd:integer)
dbo:
wikiPageLength
7995
(xsd:nonNegativeInteger)
dbo:
wikiPageRevisionID
1106439749
(xsd:integer)
dbo:
wikiPageWikiLink
dbr
:Cantor's_first_uncountability_proof
dbr
:Saul_Kripke
dbr
:Entscheidungsproblem
dbr
:Modal_logic
dbr
:Boolean_algebra_(logic)
dbr
:Boris_Trakhtenbrot
dbr
:Peano_arithmetic
dbr
:Reverse_Mathematics
dbr
:Robert_Lawson_Vaught
dbr
:Presburger_arithmetic
dbr
:Computably_enumerable
dbr
:Anatoly_Maltsev
dbr
:Mathematical_logic
dbr
:Saharon_Shelah
dbr
:Pyotr_Novikov
dbr
:Trakhtenbrot's_theorem
dbr
:Edward_Vermilye_Huntington
dbr
:Emil_Leon_Post
dbr
:General_recursive_function
dbr
:Georg_Cantor
dbr
:George_Boole
dbr
:Continuum_hypothesis
dbr
:Thoralf_Skolem
dbr
:Andrey_Markov_Jr.
dbr
:Leopold_Löwenheim
dbr
:Löwenheim–Skolem_theorem
dbr
:Stephen_Kleene
dbr
:Compactness_theorem
dbr
:Complete_theory
dbr
:Yuri_Matiyasevich
dbr
:C._I._Lewis
dbr
:Wilhelm_Ackermann
dbr
:William_Boone_(mathematician)
dbr
:Countable
dbr
:Harvey_Friedman
dbr
:Tennenbaum's_theorem
dbr
:Non-standard_model_of_arithmetic
dbr
:Morley's_categoricity_theorem
dbr
:Abraham_Robinson
dbr
:Alan_Turing
dbr
:Alfred_Tarski
dbr
:Algebraic_number
dbr
:Algebraic_variety
dbr
:Alonzo_Church
dbr
:Ernst_Zermelo
dbr
:First-order_logic
dbr
:Forcing_(mathematics)
dbr
:Non-standard_analysis
dbr
:Cardinal_number
dbc
:Mathematics_timelines
dbr
:History_of_logic
dbr
:Kolmogorov_complexity
dbr
:Timeline
dbr
:Gödel's_incompleteness_theorem
dbr
:Halting_problem
dbr
:Hilbert
dbr
:James_Ax
dbr
:Back-and-forth_method
dbr
:Paul_Cohen_(mathematician)
dbr
:Arend_Heyting
dbc
:Mathematical_logic
dbc
:History_of_mathematics
dbr
:Jerzy_Łoś
dbr
:Lambda_calculus
dbr
:Transfer_principle
dbr
:Word_problem_for_groups
dbr
:Provability_logic
dbr
:Ray_Solomonoff
dbr
:Diophantine_equation
dbr
:Axiom_of_choice
dbr
:Kurt_Gödel
dbr
:Michael_D._Morley
dbr
:Cantor's_diagonal_argument
dbr
:Ax-Grothendieck_theorem
dbr
:Real_number
dbr
:Set_theory
dbr
:Oskar_Becker
dbr
:Topological_closure
dbr
:Turing_machine
dbr
:Undecidable_problem
dbr
:Universal_Turing_machine
dbr
:Finitely_presented_group
dbr
:Stable_theory
dbr
:Ultraproduct
dbr
:Löwenheim-Skolem_theorem
dbr
:McKinsey
dbr
:Partial_order
dbr
:Normal_modal_logic
dbr
:Word_problem_for_semigroups
dbr
:Uncountable
dbr
:Turing_degree
dbr
:Stanley_Tennenbaum
dbr
:Intuitionistic_propositional_calculus
dbr
:Łoś-Vaught_test
dbr
:Church-Turing_Thesis
dbr
:Hyperreals
dbr
:An_Investigation_of_the_Laws_of_Thought
dbr
:Emil_Post
dbr
:Andrei_Kolmogorov
dbr
:Grothendieck
dbr
:Superstable_theory
dbr
:Solomonoff_induction
dbr
:Closure_algebra
dbr
:Completeness_theorem
dbr
:Semantic_tableau
dbr
:C._H._Langford
dbr
:Evertt_William_Beth
dbr
:Mojzesj_Presburger
dbp:
wikiPageUsesTemplate
dbt
:Annotated_link
dbt
:Reflist
dbt
:Short_description
dbt
:Use_dmy_dates
dbt
:Mathematical_logic
dcterms:
subject
dbc
:Mathematics_timelines
dbc
:Mathematical_logic
dbc
:History_of_mathematics
rdf:
type
yago
:WikicatMathematicsTimelines
yago
:Abstraction100002137
yago
:Chronology106503224
yago
:Communication100033020
yago
:Evidence106643408
yago
:Indication106797169
yago
:Record106647206
yago
:WrittenRecord106502378
yago
:Timeline106504965
rdfs:
comment
A timeline of mathematical logic. See also History of logic.
(en)
rdfs:
label
Timeline of mathematical logic
(en)
owl:
sameAs
yago-res
:Timeline of mathematical logic
wikidata
:Timeline of mathematical logic
https://global.dbpedia.org/id/4wLzM
prov:
wasDerivedFrom
wikipedia-en
:Timeline_of_mathematical_logic?oldid=1106439749&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Timeline_of_mathematical_logic
is
dbo:
wikiPageWikiLink
of
dbr
:History_of_logic
is
foaf:
primaryTopic
of
wikipedia-en
:Timeline_of_mathematical_logic
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License