Post

Visualizzazione dei post con l'etichetta Corso di storia della scienza: Gödel 1906

L’AUTO CHE VIENE A PRENDERCI DA SOLA

Immagine
  L’AUTO CHE VIENE A PRENDERCI DA SOLA DALLA GUIDA AUTONOMA AL VEICOLO COME SERVIZIO: QUANDO SMETTEREMO DI POSSEDERE UN’AUTOMOBILE? Per oltre un secolo l’automobile è stata costruita intorno a un presupposto apparentemente ovvio: per spostarsi occorrono un veicolo e qualcuno capace di guidarlo. Volante, pedali, patente, parcheggio e garage derivano tutti dalla stessa premessa. La guida autonoma sta cominciando a separare le due cose. Il veicolo rimane, il conducente può scomparire. E quando scompare il conducente potrebbe cambiare non soltanto il modo in cui costruiamo le automobili, ma perfino il motivo per cui le possediamo. Nel 2026 questa non è più soltanto una previsione. Negli Stati Uniti i robotaxi completamente autonomi sono ormai un servizio commerciale in numerose aree urbane. Waymo, per esempio, il 1° settembre ha iniziato ad accogliere passeggeri anche a Denver, San Diego e Tampa, portando a 14 le città nelle quali offre corse completamente autonome; a Miami e Orlando i...

Corso di storia della scienza: Gödel 1906

Immagine
Kurt Gödel 1906 Kurt Gödel — analisi critica dell'incompletezza 1) Ritratto rapido e precisione biografica Kurt Gödel (n. 28 aprile 1906 — † 14 gennaio 1978) è una delle figure chiave della logica contemporanea: matematico, logico e filosofo che ha trasformato in profondità le questioni su verità, dimostrazione e fondamenti delle matematiche. Si formò all’Università di Vienna, conseguì il dottorato (1929) con una tesi che dimostrava la completezza del calcolo predicativo del primo ordine, e nel 1931 pubblicò i due teoremi dell’incompletezza che portano il suo nome. Più tardi emigrò negli USA (stabilmente dagli anni ’40), fu membro e poi professore all’Institute for Advanced Study di Princeton, dove intrattenne una nota amicizia intellettuale con Albert Einstein. 2) I due risultati fondamentali — enunciati e metodo (aspetti tecnici) Completezza (1929) Nella sua tesi Gödel dimostrò la completezza del primo ordine : se una formula è vera in ogni modello (è una conseguenza logica ...

Post popolari in questo blog

Corso di storia della scienza: Randall 1962

Corso di storia della scienza: Langer 1948

Corso di storia della scienza: Mauchly 1907