mathematical logic

(Lex*) μαθηματική λογική

Η μαθηματική λογική είναι μια βασική περιοχή των μαθηματικών που εξελίχθηκε μέσα από τη συμβολική λογική. Πεδία της μαθηματικής λογικής είναι η θεωρία μοντέλων (model theory), η θεωρία αποδείξεων (proof theory), η θεωρία συνόλων και η θεωρία αναδρομής (recursion theory). Η έρευνα στη μαθηματική λογική συμβάλλει στη μελέτη των θεμελίων των μαθηματικών, αλλά η μαθηματική λογική περιέχει ακόμα πεδία των αμιγών μαθηματικών, που δεν σχετίζονται με θεμελιακές ερωτήσεις.
Δείτε περισσότερα στο Βικιπαίδεια.org...