Google
 

it » scienza » matematica

Sistema formale Goedelizzabile

di "Ivan"
il Sun, 13 May 2007 16:53:47 GMT
newsgroups it.scienza.matematica
message-id <2007051316534720186@mynewsgate.net>

Quando, precisamente, un sistema formale è sufficientemente ricco ( 
sufficientemente complesso )da ammettere sicuramente almeno una 
proposizione indecidibile?
Qual è il limite oltre il quale il sistema, per così dire: scintilla? 
Ivan

Risposte

Re: Sistema formale Goedelizzabile di "Giovanni Lagnese" me]myprovider.it> il Sun, 13 May 2007 19:08:24 +0200

Tutti i messaggi della discussione

Sistema formale Goedelizzabile di "Ivan" il Sun, 13 May 2007 16:53:47 GMT
Re: Sistema formale Goedelizzabile di "Giovanni Lagnese" me]myprovider.it> il Sun, 13 May 2007 19:08:24 +0200
Re: Sistema formale Goedelizzabile di "Ivan" il Sun, 13 May 2007 19:34:59 GMT
Re: Sistema formale Goedelizzabile di "Giovanni Lagnese" me]myprovider.it> il Sun, 13 May 2007 22:47:07 +0200