Logica matematica

Caricamento Eventi

« Tutti gli Eventi

  • Questo evento è passato.

Logica matematica

22 Aprile 2021, h 18:00 - 20:00

|Evento ricorrente (vedi tutto)

Un evento ogni 1 settimana(e) che inizia alle 18:00 il giovedì, che si ripete fino al 27 Maggio 2021

Logica matematica

Logica matematica 2021

LOGICA MATEMATICA
Incompletezza e indipendenza di sistemi assiomatici

Docente:
Ludovico Pernazza
Università di Pavia

22 aprile 2021 h 18.00
Sistemi formali e deducibilità

29 aprile 2021 h 18.00
Ordinali e cardinali

6 maggio 2021 h 18.00
Gli assiomi di Zermelo-Fränkel, l’assioma della scelta e l’ipotesi del continuo

13 maggio 2021 h 18.00
Teoremi di incompletezza

20 maggio 2021 h 18.00
Modelli minimali e modelli standard

27 maggio 2021 h 18.00
Il metodo del forcing e i teoremi di indipendenza

Dettagli

Data:
22 Aprile 2021
Ora:
18:00 - 20:00
Categorie Evento:
, ,
Tag Evento:
Sito web:
https://tinyurl.com/borromeodad-logicamatematica21

Luogo

online

Organizzatore

Almo Collegio Borromeo
Logica matematica

Logica matematica 2021

LOGICA MATEMATICA
Incompletezza e indipendenza di sistemi assiomatici

Docente:
Ludovico Pernazza
Università di Pavia

22 aprile 2021 h 18.00
Sistemi formali e deducibilità

29 aprile 2021 h 18.00
Ordinali e cardinali

6 maggio 2021 h 18.00
Gli assiomi di Zermelo-Fränkel, l’assioma della scelta e l’ipotesi del continuo

13 maggio 2021 h 18.00
Teoremi di incompletezza

20 maggio 2021 h 18.00
Modelli minimali e modelli standard

27 maggio 2021 h 18.00
Il metodo del forcing e i teoremi di indipendenza

Dettagli

Data:
22 Aprile 2021
Ora:
18:00 - 20:00
Categorie Evento:
, ,
Tag Evento:
Sito web:
https://tinyurl.com/borromeodad-logicamatematica21

Luogo

online

Organizzatore

Almo Collegio Borromeo