Appunti VERIFICATO

Appunti Bernini

Università degli studi di Firenze logica, filosofia e storia della scienza 2024
Nessun voto ancora
Condividi: WhatsApp Telegram
Anteprima pagina 1 — Appunti Bernini Anteprima pagina 2 — Appunti Bernini Anteprima pagina 3 — Appunti Bernini

Stai vedendo l'anteprima delle prime pagine. Sblocca tutte le pagine con l'abbonamento.

Di cosa parla

  • Le filosofie della matematica nascono nell'800 con l'esigenza di trattare la matematica in modo sistematico e rigoroso, separandola dalla sua applicazione pratica.
  • Nell'800 si parla di neoeuclideismo, dove i teoremi dipendono dagli assiomi e si ottengono dalle dimostrazioni; le nozioni di base e definizioni si derivano in modo simile. Le scuole principali della filosofia della matematica sono il logicismo (Frege), il formalismo (Hilbert) e l'intuizionismo (Brouwer).
  • Il formalismo di Hilbert sostiene che la matematica sia pura in quanto non parla di nulla, ma è solo formale. La teoria deve rispettare il principio del terzo escluso per essere valida, ma Hilbert usa il finitismo per dimostrare la non contraddittorietà della teoria dei numeri.

Registrati e scarica subito 3 appunti gratis.

Altri appunti di TEMI AVANZATI DI LOGICA

Condividi questi appunti

WhatsApp Telegram