venerdì 2 ottobre 2009
che cosa e' questo problema Contro? Puoi spiegare?
From Wikipedia, the free encyclopedia
Jump to: navigation, search
Look up undecidable in Wiktionary, the free dictionary.
Undecidable has more than one meaning:
In mathematical logic
A decision problem is called (recursively) undecidable if no algorithm can decide it, such as for Turing's halting problem; see also under Decidable and Undecidable problem.
"Undecidable" is sometimes used as a synonym of "independent", where a formula in mathematical logic is independent of a logical theory if neither that formula nor its negation can be proved within the theory.
Other uses
Undecidable figure
Undecidable language
Undecidable problem
Undecidable set
Also
List of undecidable problems
[edit] See also
Iscriviti a:
Commenti sul post (Atom)
Iscriviti a controinfo
Post
Commenti
3 commenti:
Hello dear Grandine....I'm sorry I can't help you here as Mrs Krap is so CRAP at maths-logic-rational theories- etc etc etc.HOWEVER....I AM QUITE AN UNDECIDABLE....i actually love that word....I DO...! dabbling in undecidable ..babblings...and babbling on and on....suits me to perfection...i have not of course scientifically proven it...BUT...i think I AM RIGHT....in what.... I AM AS YET UNDECIDABLE....I HOPE THAT HELPS YOU TO SOLVE YOUR PROBLEM....
SOMETIMES...it is best to leave a mystery mysterious...or it wouldn't be a mystery anymore...
Grandine il problema della decidibilita' nasce con il teroema di Godel, roba complicata; Godel scopri che la matematica non e' un sistema chiuso, cioe' ci sono delle proposizioni, dette assiomi che creano problemi. Una procedura effettiva che genera teoremi, genera anche una proposizione di cui non si sa se e' vera o falsa. Se l'aggiungi al sistema come assioma , il nuovo sistema genera un altra proposizione indecidibile, e cosi all'infinito.
Posta un commento