Tweet
Chi riuscirebbe a spiegarmeli?
Per quel che ho capito sono incredibili
Per quel che ho capito sono incredibili
-
♥ -
il nome mi fa paura... -
Pensavo fossero teoremi dell'incompletezza,anzichenò.Last edited by spleen; 30-10-2008, 16:58.Comment
-
Pensavo fossero teoremi dell'incompletezza,anzichenò.
(scusate il doppio post)Comment
-
a quanto ne so il teorema di godel (provo a spiegartelo concettualmente: spero sia sufficiente) dice che nonComment
-
I teoremi sono due:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali — vale a dire, sufficientemente potente da definire la struttura dei numeri naturali dotati delle operazioni di somma e prodotto — è possibile costruire una proposizione sintatticamente corretta che non può essere né dimostrata né confutata all'interno dello stesso sistema.
Sia T una teoria matematica sufficientemente espressiva da contenere l'aritmetica: se T è coerente, non è possibile provare la coerenza di T all'interno di T .
cosa non ti è chiaro?Moderatore Debate Square
[B][I]"Scherzi a parte, ma che problemi ha?
qualcuno lo conoscerComment
-
[QUOTE=labutino;945695]a quanto ne so il teorema di godel (provo a spiegartelo concettualmente: spero sia sufficiente) dice che nonI'm laying down, eating snow
My fur is hot, my tongue is cold
On a bed of spider web
I think of how to change myself
A lot of hope in a one man tent
There's no room for innocence
So take me home before the storm
Velvet mites will keep us warm.Comment
-
[QUOTE=rubyn;945696]I teoremi sono due:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturaliComment
-
rubyn, quello che ho detto ioComment
-
-
[QUOTE=rubyn;945696]I teoremi sono due:
In ogni formalizzazione coerente della matematica che sia sufficientemente potente da poter assiomatizzare la teoria elementare dei numeri naturali[B]Come dicevo sempre alla mia ex moglie, mi rifiuto di guidare piComment
-
Non si ha perOriginariamente Scritto da Kyra Visualizza Messaggio[FONT="Georgia"][I]Ho un sogno e lo realizzerComment
-
[QUOTE=Pulsar;945706]Non si ha perI'm laying down, eating snow
My fur is hot, my tongue is cold
On a bed of spider web
I think of how to change myself
A lot of hope in a one man tent
There's no room for innocence
So take me home before the storm
Velvet mites will keep us warm.Comment
-
in due parole. provo a riportare il discorso al diritto.Originariamente Scritto da The Evil Twin Visualizza Messaggio
noi diciamo che ogni insieme di norme, cioè ogni ordinamento giuridico è un sistema. d'accordo? ora, questo sistema deve fondarsi su qualcosa, altrimenti sarebbe un castello di carte. esso si fonda su una sola norma, quella che kelsen definiva la grundnorme, la quale dice che tutte le norme del sistema vanno rispettate. ovviamente questa norma fondamentale non può essere fondata all'interno del sistema, ma è non fondata, a meno che non la si riconduca ad un diverso sistema di norme. ma a questo punto saremmo all'esterno del primo sistema considerato. ora questo vale per il diritto.
nella matematica è la stessa cosa.
se io dico che due più due fa quattro, devo dare per scontato (esterno al sistema) che due corrisponde a un numero finito di unità. e la proposizione secondo cui x + y = n è esterna al sistema dei numeri naturali, cioè non è né vera né falsa al suo interno. sembra una cazzata, ma godel ci ha vinto il nobel...Comment
-
[QUOTE=labutino;945713]in due parole. provo a riportare il discorso al diritto.
noi diciamo che ogni insieme di norme, cio[B]Come dicevo sempre alla mia ex moglie, mi rifiuto di guidare piComment
Comment