8. Metalogical theories
The two main theories of formal logic are :
the theory of demonstration (syntactic in nature) ;
model theory (semantic in nature).
8.1 Demonstration theory
Demonstration theory, also known as proof theory, is a branch of mathematical logic founded by the German mathematician D. Hilbert. Hilbert at the beginning of the 20th century, with the aim of demonstrating the coherence of mathematics. This objective was invalidated by the famous incompleteness theorem of the Austrian mathematician and logician K. Gödel (1931). Demonstration theory nevertheless developed, thanks in particular to the work of mathematicians and logicians J. Herbrand (1909-1945) and G. Gentzen (1908-1931)....
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Metalogical theories
Logic and related disciplines
Article included in this offer
"Mathematics"
(
167 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
