Risultati della ricerca

...concetto fu ideato da [[Kurt Gödel]] nel suo [[Teoremi di incompletezza di Gödel|teorema di incompletezza]]. ...icolo archiviato di programmazione.it sui possibili utilizzi del Numero di Gödel per la compressione|accesso=3 novembre 2021|dataarchivio=8 settembre 2014|u ...

* la logica polivalente di [[Kurt Gödel|Gödel]];<ref>{{en}}Tim Lethen, "Gödel on many-valued logic" Cambridge University Press, 2021</ref> ===Logica polivalente di Gödel=== ...

...mi di Von Neumann-Bernays-Gödel|sistema assiomatico di Von Neumann-Bernays-Gödel]]. ...della completezza dei sistemi di assiomi (v. [[teorema di incompletezza di Gödel]]), i rapporti con la [[teoria della calcolabilità]] (vedasi anche [[macchi ...

Gli studi di [[Kurt Gödel|Gödel]] e [[Paul Cohen (matematico)|Cohen]] hanno permesso di stabilire che nella Nel [[1940]], [[Kurt Gödel]] fece un passo in avanti, dimostrando che l'ipotesi del continuo (in breve ...

...stema]] fondamentale è in genere chiamato ''GL'' (dalle iniziali di [[Kurt Gödel]] e [[Martin Löb]]), o anche ''L'' o ''K4W'' (in cui W sta per ''[[relazion ...

...ata fu data da [[Gottfried Leibniz]] (1646–1716); questa è la versione che Gödel studiò e tentò di chiarire col suo argomento ontologico. ....'' A Bradford Book, 1997, p.316; [https://bauhaus77.blogspot.com/2012/02/kurt-godel-my-philosophical-viewpoint.html My philosophical development]</ref> I ...

[[File:1925_kurt_gödel_(cropped).png|destra|thumb| Kurt Gödel (1925)]] La dimostrazione del [[teorema di completezza di Gödel]], fornita da [[Kurt Gödel]] nella sua tesi di dottorato del 1929 (e una versione più breve, pubblicat ...

...degli insiemi di Von Neumann-Bernays-Gödel|assiomi di von Neumann-Bernays-Gödel]], che aggiungono il concetto di una [[classe (insiemistica)|classe]] in ag ...come dimostrato da Gödel con il suo celebre [[teorema di incompletezza di Gödel|secondo teorema di incompletezza]]. ...

...30.<ref>John W. Dawson, Jr., ''Logical Dilemmas: The Life and Work of Kurt Gödel'', p. 70, A. K. Peters, Wellesley Mass, 1997.</ref> Essi fanno parte dei '' Con il '''teorema di incompletezza''' di [[Kurt Gödel|Gödel]] si è dimostrato che tale teoria risulta [[Completezza_(logica_matematica) ...

...a [[Kurt Gödel]] di stabilire il suo [[secondo teorema di incompletezza di Gödel|secondo teorema di incompletezza]] ...ne il problema di individuare tali sistemi. Il [[teorema di completezza di Gödel]] stabilisce che ogni sistema deduttivo con un sistema di assiomi non-logic ...

...ro (vedi [[soluzione lambda-vuoto]]). Prende il nome dal matematico [[Kurt Gödel]] che la trovò nel 1949. ...indriche]], ma quest'articolo utilizza il grafico originariamente usato da Gödel. In questo grafico, la metrica è definita come: ...

...a i pensatori contemporanei, sull'argomento ontologico si è cimentato Kurt Gödel il quale, nel 1970 elaborò una dimostrazione formale dell'esistenza di Dio, ...

Nel 1973 [[Kurt Gödel]], forse il più famoso matematico del [[XX secolo]], disse: "Ci sono buoni ...

...otesi contraria è stata formulata anche da matematici illustri come [[Kurt Gödel]].</ref> ...

...queste due, è la cosiddetta [[ipotesi del continuo]]. Nel [[1940]] [[Kurt Gödel]] dimostrò che tale ipotesi è coerente con gli [[assiomi di Zermelo - Fraen ...

A seguito dei lavori di [[Kurt Gödel]] e di [[Paul Cohen (matematico)|Paul Cohen]] si è dimostrato che l'assioma ...

...l'insieme dei numeri interi e quella dell'insieme dei numeri reali. [[Kurt Gödel]] e [[Paul Cohen (matematico)|Paul Cohen]] hanno dimostrato che l'ipotesi n ...non solo per l'aritmetica. Il [[teorema di incompletezza]] di [[Kurt Gödel|Gödel]] stabilisce infatti che la coerenza di un [[sistema formale]] abbastanza p ...

...h>w \in \langle S \rangle</math> e viceversa (numerazione di [[Kurt Goedel|Gödel]]). Dato un insieme <math>U \subseteq \langle S \rangle</math>, diciamo che ...

...enti della matematica]], la '''teoria degli insiemi di Von Neumann-Bernays-Gödel''' ('''NBG''') è una [[teoria assiomatica degli insiemi]] che costituisce u ...dere gli insiemi e l'appartenenza ad un insieme le primitive. [[Kurt Gödel|Gödel]] (1940), mentre lavorava sull'indipendenza dell'[[ipotesi del continuo]], ...

=== Logiche polivalenti di Gödel e prodotto === Nella [[logica polivalente]] di [[Kurt Gödel|Gödel]] e nella logica polivalente prodotto, la negazione di una proposizione si ...