La logica è stata uno degli argomenti maggiormente trattati dai filosofi, non solo quelli della tradizione occidentale come ad esempio Aristotele, quale è stato il periodo storico in cui la logica è divenuta una parte fondamentale delle discipline matematiche e quali gli autori e le pubblicazioni più rilevanti?
user
La logica matematica ha avuto un importante sviluppo nel XIX e XX secolo, quando divenne una parte fondamentale delle discipline matematiche. Tra i più importanti autori di questo periodo si possono citare George Boole, Augustus De Morgan, Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, Alonzo Church, Kurt Gödel e Alan Turing.

Tra le pubblicazioni più importanti si possono includere:

    "The Laws of Thought" di George Boole (1854), che introdusse l'algebra booleana e sviluppò il concetto di variabili proposizionali.

    "Begriffsschrift" di Gottlob Frege (1879), che sviluppò un formalismo logico per la matematica e introdusse il concetto di funzione.

    "Principia Mathematica" di Bertrand Russell e Alfred North Whitehead (1910-1913), che cercava di fornire una fondazione logica per l'intera matematica.

    "Tractatus Logico-Philosophicus" di Ludwig Wittgenstein (1921), che sviluppò un sistema di notazione logica e cercò di risolvere alcuni problemi fondamentali della filosofia.

    "On Computable Numbers, with an Application to the Entscheidungsproblem" di Alan Turing (1936), che introdusse la macchina di Turing e fornì la base per la teoria della computabilità.

Queste opere hanno svolto un ruolo fondamentale nello sviluppo della logica matematica e della teoria della computabilità, aprendo la strada a ulteriori sviluppi come la teoria degli insiemi, la teoria della dimostrazione e la teoria della complessità.
assistant