Search Results: 'godel'

Search

×
×
×
×
59 results for "godel"
Lucky 13 By Ethan Godel
Paperback: $15.75
Ships in 3-5 business days.
The story of the 13 colonies.
Lucky 13 By Ethan Godel
eBook (PDF): $5.00
Download immediately.
The story of the 13 colonies.
The Gödel's legacy: revisiting the Logic By giuseppe raguní
eBook (PDF): $0.00
Download immediately.
ABSTRACT: Some common fallacies about fundamental themes of Logic are exposed: the First and Second incompleteness Theorem interpretations, Chaitin’s various superficialities and the usual... More > classification of the axiomatic Theories in function of its language order. KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity, randomness, Chaitin's constant, first and second order languages, consistency.< Less
The Godel Incompleteness Theorem: Is it a True Theorem? By Lloyd Miller
Paperback: $20.00
Ships in 3-5 business days.
Essay. Non-technical. Expresses and explains the controversial viewpoint that the apparently established theorem is not really a true theorem. The author is particularly interested in the present... More > consensus of opinion, whether everyone who has any interest and understanding of the theorem, really agrees, based on his own understanding, that it is a true theorem, as is the case with real mathematics. Or is it that, in this case, which is sometimes called metamathematics, mathematicians just go along with it, or let it slide, based on what they're told to believe? Who decides the issue?< Less
The Godel Incompleteness Theorem: Is It a True Theorem? By Lloyd Miller
eBook (ePub): $2.99
Download immediately.
Essay. Non-technical. Expresses and explains the controversial viewpoint that the apparently established theorem is not really a true theorem. The author is particularly interested in the present... More > consensus of opinion, whether everyone who has any interest and understanding of the theorem, really agrees, based on his own understanding, that it is a true theorem, as is the case with real mathematics. Or is it that, in this case, which is sometimes called metamathematics, mathematicians just go along with it, or let it slide, based on what they're told to believe Who decides the issue< Less
The Godel Incompleteness Theorem: Is it a True Theorem? By Lloyd Miller
eBook (PDF): $5.00
Download immediately.
Essay. Non-technical. Expresses and explains the controversial viewpoint that the apparently established theorem is not really a true theorem. The author is particularly interested in the present... More > consensus of opinion, whether everyone who has any interest and understanding of the theorem, really agrees, based on his own understanding, that it is a true theorem, as is the case with real mathematics. Or is it that, in this case, which is sometimes called metamathematics, mathematicians just go along with it, or let it slide, based on what they're told to believe? Who decides the issue?< Less
La proposizione di Gödel By Francesca Guidi
Paperback: $10.80
Ships in 3-5 business days.
Dal 1931 ad oggi, i teoremi di incompletezza di Gödel continuano ad affascinare. Più che mai attuali, essi sono invocati, a torto o a ragione, nei dibattuti temi dell'intelligenza... More > artificiale, attizzando le speranze tanto di chi crede nella costruibilità di una mente meccanica, che di chi la nega. Famosi autori infatti, come Penrose (Ombre della mente) e Hofstadter (Gödel, Escher, Bach) rivisitano i teoremi oggi, e con opposti intenti.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.< Less
La proposizione di Gödel By Francesca Guidi
eBook (PDF): $1.64
Download immediately.
Dal 1931 ad oggi, i teoremi di incompletezza di Gödel continuano ad affascinare. Più che mai attuali, essi sono invocati, a torto o a ragione, nei dibattuti temi dell'intelligenza... More > artificiale, attizzando le speranze tanto di chi crede nella costruibilità di una mente meccanica, che di chi la nega. Famosi autori infatti, come Penrose (Ombre della mente) e Hofstadter (Gödel, Escher, Bach) rivisitano i teoremi oggi, e con opposti intenti.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.Tuttavia di fronte alla infinita diatriba così innescata, lo schivo Gödel sarebbe forse più sconcertato che soddisfatto.< Less
Su un errore di Gödel By Giuseppe Ragunì
eBook (PDF): $0.00
Download immediately.
Lo scopo fondamentale dell'articolo è correggere un grave errore di interpretazione di un inesatto commento di Gödel al congresso di Königsberg del 1930. Malgrado la scorrettezza di... More > Gödel sia assolutamente veniale, la sua erronea lettura ha prodotto e continua a produrre frutti nefasti, come l'applicabilità dei Teoremi d'incompletezza all'Aritmetica del secondo ordine full e la deducibilità, mediante essi, dell'incompletezza semantica di questo linguaggio. I primi tre paragrafi servono da introduzione e se ne approfitta sia per definire i linguaggi intrinsecamente semantici sia per evidenziare il fatto che una Teoria non formale può essere semanticamente completa pur impiegando un linguaggio semanticamente incompleto. Infine si propone un'interpretazione alternativa per l'infelice osservazione di Gödel.< Less
La Logica matematica dopo Gödel By Giuseppe Ragunì
eBook (PDF): $0.00
Download immediately.
In complemento al libro "I confini logici della Matematica" (stesso autore),si espone l’esigenza di una revisione "semantica" della Logica matematica.Essa,trascurando la... More > classificazione delle Teorie in base all’ordine espressivo,rivaluta il ruolo della Teoria formale degli insiemi.Inoltre si indeboliscono le ipotesi del primo Teorema d’incompletezza e si chiarisce la sua esatta relazione con i paradossi semantici (di Berry,Richard..). In addition to book “I confini logici della Matematica” (same author),it is emphasized that a "semantic" revision of Logic is needed.Neglecting the usual expressive-order type classification of Theories,this revision reevaluates the role of Formal Set Theory.Also it is achieved a weakening of the First incompleteness Theorem hypotheses and its exact connection with semantic paradoxes (Berry,Richard..) P.CH: Teorema d’incompletezza di Gödel,paradossi,aritmetica del primo e secondo ordine KEY: Gödel’s incompleteness Theorem,paradoxes,first and second order arithmetics< Less