Risultati della ricerca

[[Alexander Graham Bell]], [[Nikola Tesla]], [[Albert Einstein]], [[Kurt Gödel]], [[Enrico Fermi]], [[Robert Oppenheimer]] (padre della bomba atomica)...

Feyerabend]], [[Ludwig Boltzmann]], [[Christian Doppler]], [[Ernst Mach]], [[Kurt Gödel]], [[Paul Ehrenfest]], [[Wolfgang Pauli]], [[Hermann Bondi]], [[Erwin...

[[Stato|Stati]] indipendenti, associati al [[Commonwealth]]. * Il [[matematico]] [[Kurt Gödel]] pubblica il [[Teoremi di incompletezza di Gödel|suo teorema di incompletezza]]...

[[Georg Cantor|Cantor]], [[Gottlob Frege|Frege]], [[Paul Erdős|Erdös]], [[Kurt Gödel|Gödel]], accomunabili nel cosiddetto [[platonismo#Il platonismo matematico|realismo...

di indirizzo filosofico non platonico, come [[Bertrand Russell]] e [[Kurt Gödel]]. Secondo alcuni autori perciò si deve a Platone e alla sua scuola anche...

 [[Nati nel 1899|1899]]) *[[Morti il 14 gennaio|14 gennaio]] - [[Kurt Gödel]], matematico, logico e filosofo austriaco (n. [[Nati nel 1906|1906]])...

diverso dal suo,<ref name=LifeandUniverse /> con il matematico austriaco [[Kurt Gödel]] mentre ebbe come vicino di ufficio il [[fisica matematica|fisico-matematico]]...

favore dell'ipotesi dell'esistenza di Dio, tra i quali figura quello di [[Kurt Gödel]]<ref>{{Cita|Gödel}}.</ref>, non hanno ottenuto significativi riscontri...

edu/CampusWWW/Companion/einstein_albert.html }} (1879-1955).</ref> [[Kurt Gödel]] e [[Robert Oppenheimer]]. Nel 1945 [[Solomon Lefschetz]] divenne direttore...

Brno appartiene alla [[Cecoslovacchia]]. A Brno nacque, tra l'altro, [[Kurt Gödel|Kurt Friedrich Gödel]] (Brno, 1906 – Princeton, 1978), matematico, logico...

png|thumb|upright|[[Kurt Gödel]]]] Un ulteriore contributo nell'ambito della logica formale matematica è venuto infine da [[Kurt Gödel]], in relazione alle...

formalizzazioni matematiche più famose sono le [[funzioni ricorsive]] di [[Kurt Gödel|Gödel]]–[[Jacques Herbrand|Herbrand]]–[[Stephen Cole Kleene|Kleene]]...

ai [[teoremi di incompletezza di Gödel|teoremi di incompletezza]] di [[Kurt Gödel]] che provavano che nessun sistema logico finito poteva risolvere dentro...

</ref> == In logica matematica == Alcuni risultati del matematico boemo [[Kurt Gödel]] possono essere interpretati, molto informalmente, nel senso che vi è...

l'osservazione del fenomeno. Nel [[1949]], un matematico amico di Einstein, [[Kurt Gödel]], ammise la possibilità dei viaggi nel tempo partendo da alcune equazioni...

sintesi che è l'avvio di un ulteriore circolo. Gli studi condotti da [[Kurt Gödel|Gödel]] nel XX secolo hanno tuttavia dimostrato l'inconsistenza logica...

intuizionista di [[Luitzen Brouwer]] e per i commenti al teorema di [[Kurt Gödel]]. Purtroppo, più che in altre opere, il testo è troppo frammentato e...

Andersen]]<ref name=toates/>, lo scrittore [[Franz Kafka]] e il matematico [[Kurt Gödel]].<ref>John W. Dawson jr, ''Dilemmi Logici: La vita e l'opera di Kurt...

il maggiore sostenitore di una visione platonista della matematica è [[Kurt Gödel]], sostenitore della realtà degli enti matematici: «Ma classi e concetti...

i [[Teoremi di incompletezza di Gödel|teoremi di incompletezza]] di [[Kurt Gödel]], che evidenziarono l'impossibilità di conseguire una dimostrazione completa...