Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
academic discipline
known for
main interest
Wikipage disambiguates
differentFrom
primaryTopic
Mathematical logic
Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
has abstract
De wiskundige logica is een de ...... er meer Kurt Gödel van belang.
@nl
Die mathematische Logik (älter ...... Beweistheorie verwendet wird.
@de
La logica matematica è il sett ...... la teoria della dimostrazione.
@it
La logique mathématique ou mét ...... affecter une valeur de vérité.
@fr
La lógica matemática es una pa ...... y estudiadas matemáticamente.
@es
Logika matematyczna – dział ma ...... ego matematyka Giuseppe Peano.
@pl
Lógica Matemática é uma sub-ár ...... gica clássica ou não-clássica.
@pt
Mathematical logic is a subfie ...... mathematics can be developed.
@en
Математи́ческая ло́гика (теоре ...... мощью математических методов».
@ru
المنطق هو العلم الذي يبحث في ا ...... المنطقية تحتمل الصدق أو الكذب.
@ar
Link from a Wikipage to an external page
Wikipage page ID
Wikipage revision ID
740,266,092
title
Mathematical logic
subject
hypernym
comment
De wiskundige logica is een de ...... wiskundig bewijs moet voldoen.
@nl
Die mathematische Logik (älter ...... egriff Metamathematik bekannt.
@de
La logica matematica è il sett ...... la teoria della dimostrazione.
@it
La logique mathématique ou mét ...... affecter une valeur de vérité.
@fr
La lógica matemática es una pa ...... utilizando un lenguaje formal.
@es
Logika matematyczna – dział ma ...... ego matematyka Giuseppe Peano.
@pl
Lógica Matemática é uma sub-ár ...... contemporânea em quatro áreas:
@pt
Mathematical logic is a subfie ...... power of formal proof systems.
@en
Математи́ческая ло́гика (теоре ...... мощью математических методов».
@ru
المنطق هو العلم الذي يبحث في ا ...... رض مرحا وهي ليست قضايا منطقية.
@ar
label
Logica matematica
@it
Logika matematyczna
@pl
Logique mathématique
@fr
Lógica matemática
@es
Lógica matemática
@pt
Mathematical logic
@en
Mathematische Logik
@de
Wiskundige logica
@nl
Математическая логика
@ru
منطق رياضي
@ar