Français
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)....
The Ultimate Scientific and Technical Reference
This article is included in
Mathematics
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Metalogical theories
Logic and related disciplines
Bibliography
The Ultimate Scientific and Technical Reference
