Con chi lavorò von Neuman su un documento del 1936 che introduceva la logica quantistica?
doc-8509
In un famoso articolo del 1936 con Garrett Birkhoff, il primo lavoro mai realizzato per introdurre le logiche quantistiche, von Neumann e Birkhoff dimostrarono per prima cosa che la meccanica quantistica richiede un calcolo propositivo sostanzialmente diverso da tutte le logiche classiche e isolò rigorosamente una nuova struttura algebrica per le logiche quantistiche. Il concetto di creare un calcolo propositivo per la logica quantistica è stato delineato per la prima volta in una breve sezione del lavoro di von Neumann del 1932, ma nel 1936, la necessità del nuovo calcolo propositivo è stata dimostrata attraverso diverse prove. Ad esempio, i fotoni non possono passare attraverso due filtri successivi polarizzati perpendicolarmente (ad esempio, uno orizzontale e l' altro verticale), e quindi, a fortiori, non possono passare se un terzo filtro polarizzato diagonalmente viene aggiunto agli altri due, prima o dopo di loro nella successione, ma se il terzo filtro viene aggiunto tra gli altri due, i fotoni passeranno effettivamente attraverso. Questo fatto sperimentale è traducibile in logica come nonmutatività della congiunzione. E' stato anche dimostrato che le leggi di distribuzione della logica classica, e non sono valide per la teoria quantistica.
None
doc-8503
In una serie di documenti di von Neumann, i metodi di argomentazione da lui impiegati sono considerati ancora più significativi dei risultati. In previsione del suo successivo studio della teoria dimensionale nelle algebre degli operatori, von Neumann utilizzò i risultati sull' equivalenza per decomposizione finita, e riformulava il problema della misura in termini di funzioni. Nel suo articolo del 1936 sulla teoria analitica della misura, usò il teorema Haar nella soluzione del quinto problema di Hilbert nel caso dei gruppi compatti. Nel 1938, ricevette il Premio Bôcher Memorial per il suo lavoro di analisi.
None
doc-8506
Von Neumann è stato il primo a stabilire un quadro matematico rigoroso per la meccanica quantistica, noto come assiomi Dirac-von Neumann, con il suo lavoro del 1932 Matematica Fondamenti matematici della Meccanica Quantistica. Dopo aver completato l' assiomatizzazione della teoria del set, cominciò a confrontarsi con l' assiomatizzazione della meccanica quantistica. Si rese conto, nel 1926, che uno stato di un sistema quantistico poteva essere rappresentato da un punto in uno spazio (complesso) Hilbert che, in generale, poteva essere infinite-dimensionale anche per una singola particella. In questo formalismo della meccanica quantistica, le grandezze osservabili come la posizione o il momento sono rappresentate come operatori lineari che agiscono sullo spazio di Hilbert associato al sistema quantistico.
None
doc-8486
L' analisi matematica della struttura dell' auto-replicazione di Von Neumann ha preceduto la scoperta della struttura del DNA. In una breve lista di fatti sulla sua vita che ha presentato all' Accademia Nazionale delle Scienze, ha dichiarato:"La parte del mio lavoro che considero più essenziale è quello sulla meccanica quantistica, che si sviluppò a Göttingen nel 1926, e successivamente a Berlino nel 1927-1929. Inoltre, il mio lavoro su varie forme di teoria dell' operatore, Berlino 1930 e Princeton 1935-1939; sul teorema ergodico, Princeton, 1931-1932.
None
doc-8749
Nel 1928 conseguì un dottorato in psicologia, sotto la supervisione di Karl Bühler. La sua tesi di laurea si intitolava "Die Methodenfrage der Denkpsychologie" (La questione del metodo nella psicologia cognitiva). Nel 1929, ha ottenuto l' autorizzazione per insegnare matematica e fisica nella scuola secondaria, che ha iniziato a fare. Nel 1930 sposò il collega Josefine Anna Henninger (1906-1985) nel 1930. Temendo l' ascesa del nazismo e la minaccia dell' Anschluss, cominciò a usare le serate e le notti per scrivere il suo primo libro Die beiden Grundprobleme der Erkenntnistheorie (I due problemi fondamentali della Teoria della Conoscenza). Aveva bisogno di pubblicarne uno per ottenere qualche posizione accademica in un paese che era sicuro per le persone di origine ebraica. Tuttavia, finì per non pubblicare il lavoro a due volumi, ma una versione condensata di esso con qualche nuovo materiale, Logik der Forschung (la logica della scoperta scientifica), nel 1934. Qui ha criticato lo psicologismo, il naturalismo, l' induzione e il positivismo logico, e ha presentato la sua teoria della falsificabilità potenziale come criterio che separa la scienza dalle non scienze. Nel 1935 e nel 1936, prese un congedo non retribuito per recarsi nel Regno Unito per una visita di studio.
None
doc-8527
Durante la consulenza per la Scuola di Ingegneria Elettrica di Moore presso l' Università della Pennsylvania sul progetto EDVAC, von Neumann ha scritto una prima bozza incompleta di una relazione sull' EDVAC. Il documento, la cui distribuzione prematura ha vanificato le rivendicazioni di brevetto dei designer EDVAC J. Presper Eckert e John Mauchly, descriveva un' architettura computerizzata in cui i dati e il programma sono entrambi memorizzati nella memoria del computer nello stesso spazio di indirizzo. Questa architettura è ancora oggi la base della moderna progettazione computerizzata, a differenza dei primi computer che sono stati "programmati" utilizzando un dispositivo di memoria separata come un nastro di carta o plugboard. Anche se l' architettura del programma memorizzato in una singola memoria è comunemente chiamata architettura di von Neumann come risultato della carta di von Neumann, la descrizione dell' architettura si basava sul lavoro di J. Presper Eckert e John William Mauchly, inventori del computer ENIAC presso l' Università della Pennsylvania.
None
doc-5928
All' Università di Vienna, Hayek ha conseguito il dottorato in Giurisprudenza e Scienze politiche rispettivamente nel 1921 e nel 1923; ha anche studiato filosofia, psicologia ed economia. Per un breve periodo, quando l' Università di Vienna si è chiusa, Hayek ha studiato presso l' Istituto di Anatomia del cervello di Constantin von Monakow, dove Hayek ha trascorso gran parte del suo tempo a colorare le cellule cerebrali. Il tempo trascorso da Hayek nel laboratorio di Monakow e il suo profondo interesse per il lavoro di Ernst Mach hanno ispirato il primo progetto intellettuale di Hayek, pubblicato alla fine come The Sensory Order (1952). Ha individuato l' apprendimento connettivo a livello fisico e neurologico, respingendo l' associazionismo "dati di senso" degli empiristi e positivisti logici. Hayek ha presentato il suo lavoro al seminario privato che aveva creato con Herbert Furth chiamato Geistkreis.
None
doc-8508
Il trattamento astratto di Von Neumann gli permise anche di affrontare la questione fondamentale del determinismo contro il non-determinismo, e nel libro egli presentò una prova che i risultati statistici della meccanica quantistica non potevano essere medie di un insieme sottostante di determinate "variabili nascoste", come nella meccanica statistica classica. Nel 1966, John S. Bell pubblicò un articolo in cui sosteneva che la prova conteneva un errore concettuale ed era pertanto invalida. Tuttavia, nel 2010, Jeffrey Bub ha sostenuto che Bell aveva frainteso la prova di von Neumann e ha sottolineato che la prova, anche se non valida per tutte le teorie variabili nascoste, esclude un sottoinsieme ben definito e importante. Bub suggerisce anche che von Neumann era consapevole di questa limitazione, e che von Neumann non ha sostenuto che la sua prova completamente escluso le teorie variabili nascoste.
None
doc-10192
L' originale tedesco dei protocolli segreti fu presumibilmente distrutto durante i bombardamenti della Germania, ma alla fine del 1943 Ribbentrop aveva ordinato che i documenti più segreti del Ministero degli esteri tedesco dal 1933 in poi, pari a circa 9.800 pagine, fossero microfilmati. Quando i vari dipartimenti del Ministero degli esteri di Berlino furono evacuati in Turingia alla fine della guerra, Karl von Loesch, un funzionario pubblico che aveva lavorato per l' interprete capo Paul Otto Schmidt, fu incaricato di queste copie di microfilm. Alla fine ricevette l' ordine di distruggere i documenti segreti, ma decise di seppellire il contenitore metallico con i microfilm come assicurazione personale per il suo futuro benessere. Nel maggio 1945, von Loesch si avvicinò al British Lt. Col. Robert C. Thomson con la richiesta di trasmettere una lettera personale a Duncan Sandys, genero di Churchill. Nella lettera, von Loesch rivelava di essere a conoscenza dei documenti "dove si trovavano, ma in cambio si aspettava un trattamento preferenziale. Il colonnello Thomson e il suo omologo americano Ralph Collins hanno accettato di trasferire von Loesch a Marburg, nella zona americana, se egli produrrà i microfilm. I microfilm contenevano una copia del Trattato di non aggressione e del Protocollo segreto. Entrambi i documenti sono stati scoperti nell' agosto del 1945 dal dipendente del Dipartimento di Stato Wendell B. Blancke, capo di un' unità speciale denominata "Exploitation German Archives" (EGA).
None
doc-8655
Nel 1936, quando Tito soggiorna all' Hotel Lux di Mosca, incontra la compagna austriaca Lucia Bauer. Si sposarono nell' ottobre 1936, ma i documenti di questo matrimonio furono successivamente cancellati.
None
doc-13776
Ha raggiunto un punteggio perfetto sugli esami di ingresso alla Princeton University della scuola di laurea in matematica e fisica, un' impresa senza precedenti, ma ha fatto piuttosto male sulla storia e porzioni inglesi. Al primo seminario di Feynman hanno partecipato Albert Einstein, Wolfgang Pauli e John von Neumann. Ricevette un dottorato di ricerca da Princeton nel 1942; il suo consulente di tesi era John Archibald Wheeler. La tesi di Feynman applicava il principio dell' azione stazionaria ai problemi della meccanica quantistica, ispirata dal desiderio di quantizzare la teoria dell' assorbitore Wheeler-Feynman dell' elettrodinamica, ponendo le basi per l' approccio "integrale" del percorso e i diagrammi di Feynman, e si intitolava "Il principio dell' azione minore nella meccanica quantistica".
None