La produzione slide continua …

… le slide per il corso di Logica che sto preparando sono sulla proprietà di confluenza in logica costruttiva.

Cosa è la confluenza? Beh, diciamo che significa che qualsiasi strada io prenda alla fine arrivo allo stesso risultato. Avete presente il film Sliding Doors? È un film sulla confluenza in amore … in logica non c’è l’amore, ma il succo è quello.

J-Y Girard, Proof Theory and logical complexity, forse il più bel libro di teoria della dimostrazione mai scritto.

Rispondi

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo di WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione /  Modifica )

Google photo

Stai commentando usando il tuo account Google. Chiudi sessione /  Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione /  Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione /  Modifica )

Connessione a %s...