Ultimele subiecte
» Timpul, proprietate intrinsecă a naturii?
Scris de CAdi Astazi la 22:12

» Legea lui Newton ar trebui rescrisa?
Scris de CAdi Astazi la 22:08

» De ce persistă corpurile în a se mișca
Scris de CAdi Astazi la 21:54

» CE ȘTIM?
Scris de Bordan Astazi la 18:56

» Care este mecanismul gravitației?
Scris de virgil_48 Astazi la 12:09

» Eterul, eterul
Scris de virgil Astazi la 11:54

» Experiments of F. Nipher/C. Brush/Biefeld-Brown effect
Scris de eugen Astazi la 09:40

» De ce nu functioneaza motorul de cautare ?
Scris de CAdi Astazi la 09:39

» Motor gravito-magnetic?
Scris de scanteitudorel Astazi la 07:14

» Adevar adevarat
Scris de mm Mar 15 Ian 2019, 10:18

» EMINESCU, Templu National
Scris de Bordan Mar 15 Ian 2019, 07:35

» Perpetuum Mobile in magnetism
Scris de scanteitudorel Mar 15 Ian 2019, 06:32

» Aceasta este o spirala energetica ?
Scris de scanteitudorel Mar 15 Ian 2019, 06:17

» Probleme de Electromagnetism-rezolvari
Scris de scanteitudorel Mar 15 Ian 2019, 06:06

» Legi de conservare
Scris de Vizitator Mar 15 Ian 2019, 03:19

» Eminescu
Scris de negativ Lun 14 Ian 2019, 22:09

» Laborator-sa construim impreuna
Scris de mm Lun 14 Ian 2019, 14:30

» Lucrul mecanic - definitie si exemple
Scris de virgil_48 Dum 13 Ian 2019, 11:23

» EmDrive
Scris de scanteitudorel Dum 13 Ian 2019, 03:43

» Brațele galaxiilor
Scris de mm Dum 13 Ian 2019, 02:59

» De ce persista corpurile in a se misca
Scris de Vizitator Sam 12 Ian 2019, 00:42

» propuneri ...
Scris de Abel Cavași Vin 11 Ian 2019, 20:36

» Universitatea "Petre Andrei" din Iasi...
Scris de Vizitator Vin 11 Ian 2019, 20:34

» Anuarul UPA 2014, vol 1, p. 9-21 Crivoi D.
Scris de virgil_48 Joi 10 Ian 2019, 14:44

» Noutati in statistica
Scris de virgil_48 Joi 10 Ian 2019, 10:10

» TEORIA CONSPIRATIEI NU ESTE UN MIT...
Scris de gafiteanu Mier 09 Ian 2019, 12:46

» Perpetuum mobile de speta intai N + 1’
Scris de scanteitudorel Mier 09 Ian 2019, 02:25

» Traectorie & energie & viteza toate speciale =>minuni
Scris de Hercules Mar 08 Ian 2019, 15:45

» Motorul cu apa
Scris de scanteitudorel Lun 07 Ian 2019, 23:47

» Bancuri......
Scris de virgil_48 Lun 07 Ian 2019, 12:14

Top postatori
virgil (9045)
 
CAdi (7597)
 
Abel Cavași (6786)
 
gafiteanu (6263)
 
virgil_48 (6199)
 
Razvan (5605)
 
Pacalici (5571)
 
curiosul (4962)
 
scanteitudorel (4303)
 
negativ (2805)
 

Cei care creeaza cel mai des subiecte noi
Pacalici
 
Abel Cavași
 
curiosul
 
CAdi
 
Razvan
 
Dacu
 
meteor
 
scanteitudorel
 
virgil
 
gafiteanu
 

Cei mai activi postatori ai lunii
scanteitudorel
 
curiosul
 
CAdi
 
virgil
 
virgil_48
 
mm
 
Bordan
 
gafiteanu
 
negativ
 
Abel Cavași
 

Cei mai activi postatori ai saptamanii
CAdi
 
curiosul
 
scanteitudorel
 
negativ
 
virgil_48
 
virgil
 
Bordan
 
Forever_Man
 
mm
 
gafiteanu
 

Flux RSS


Yahoo! 
MSN 
AOL 
Netvibes 
Bloglines 


Spune și altora
Cine este conectat?
In total sunt 8 utilizatori conectati: 1 Inregistrati, 0 Invizibil si 7 Vizitatori :: 1 Motor de cautare

scanteitudorel

Recordul de utilizatori conectati a fost de 49, Dum 20 Mar 2011, 04:29

Despre teorema de incompletitudine

In jos

Despre teorema de incompletitudine

Mesaj Scris de curiosul la data de Dum 21 Apr 2013, 03:59

În linii mari, în ceea ce privește matematica, această teoremă demonstrează că pot fi formulate ipoteze cărora nu li se poate demonstra valoarea de adevăr.
Întrebarea mea este dacă această teoremă este cumva echivalentă cu o afirmație de genul :

Există presupuneri (conjecturi, ipoteze etc) pentru care nu există o condiție care stabilește (și care implică) valoarea de adevăr a respectivei presupuneri.

Adică, fie presupunerea A și condiția B.
Dacă B (adevărat sau fals), atunci implică A (fie adevărat, fie fals), atunci presupunerea inițială B ar putea demonstra valoarea de adevăr a condiției A.
Dacă se poate demonstra valoarea de adevăr a condiției B, atunci se poate demonstra și valoarea de adevăr a presupunerii A.
Dacă presupunerea A ar fi una dintre acele ipoteze care nu se pot demonstra, atunci înseamnă că, fie nu există condiția B, fie nu se poate demonstra condiția B (condiția care ar implica valoarea de adevăr a presupunerii A).
Presupunând situația în care există o condiție B de implicare a presupunerii A, însa căreia nu i se poate stabili valoarea de adevăr, ar însemna că în acest moment ar trebui să găsim o altă condiție, C, a cărei valoare de adevăr să demonstreze valoarea de adevăr a condiției B, care la rândul ei, demonstrează presupunerea A.
Și tot așa.
Cu alte cuvinte, dacă se poate demonstra că într-un sistem formal, pentru orice propoziție există o condiție care implică valoarea de adevăr a acelei propoziției, atunci aceasta invalidează teorema de incompletitudine.
Oare ?
Ce se întâmplă în cazul în care este nevoie ca pentru fiecare condiție să existe alta, și alta care să o implice ?
Pentru un număr oricât de mare al condițiilor necesare (poate chiar o infinitate), este validă teorema de incompletitudine ?
Părerea mea este că nu.
Pentru că este posibil ca mai devreme sau mai târziu să se găsească condiția care poate fi demonstrată, astfel încât să le implice valoarea de adevăr a celorlalte și implicit a presupunerii inițiale.
Asta doar dacă pentru fiecare presupunere (propoziție, condiție etc) există o (altă) condiție care să-i implice valoarea de adevăr.

Chiar și așa, din adevărul teoremei de incompletitudine, rezultă că într-un moment sau altul, aceste condiții formează un "cerc vicios", în sensul că se ajunge la o condiție echivalentă cu una formulată anterior.

curiosul
Foarte activ
Foarte activ

Mulțumit de forum :
10 / 1010 / 10
Numarul mesajelor : 4962
Puncte : 29745
Data de inscriere : 22/03/2011

Sus In jos

Re: Despre teorema de incompletitudine

Mesaj Scris de Abel Cavași la data de Dum 21 Apr 2013, 20:59

Orice demonstrație poate fi obținută doar într-un cadru axiomatic, în care facem presupuneri privitor la adevărul axiomelor. Așadar, nicio propoziție posibilă nu poate fi demonstrată independent de un anumit cadru axiomatic limitat. Nici măcar teoremele de incompletitudine ale lui Gödel.
avatar
Abel Cavași
Fondator
Fondator

Mulțumit de forum :
9 / 109 / 10
Prenume : Abel
Numarul mesajelor : 6786
Puncte : 24702
Data de inscriere : 28/02/2008
Obiective curente : Sunt în căutarea unei aplicații a Fizicii elicoidale.

http://abelcavasi.blogspot.com/

Sus In jos

Re: Despre teorema de incompletitudine

Mesaj Scris de curiosul la data de Lun 22 Apr 2013, 01:54

Dar cum ar sta lucrurile vis-a-vis de o teorie a totului în fizică ?
S-ar părea că nu este posibilă prin acest principiu de incompletitudine.

Dacă totuși, să presupunem că ar exista o teoremă matematică absolută, teorema tuturor teoremelor, teorema din care rezultă orice altă teoremă, atunci ar fi posibilă și o teorie a totului în fizică, atât timp cât aceea teorie este, și trebuie fundamentată pe un aparat matematic.

Dar dacă nu există o teoremă absolută nu înseamnă neapărat că nu poate exista o teorie a totului, ci cu siguranță dacă există o teorema absolută, atunci este posibilă și o teorie a totului.

Imposibil totuși prin principiul incompletitudinii.
Dar dacă însăși principiul incompletitudinii este formulat în, și pentru un sistem axiomatic, atunci el este valabil în acel sistem și nu în altul.

Negativ (parcă) spunea la un moment dat de o stratificare pe anumite nivele.
Dacă principiul universal de funcționare a fiecărui nivel este identic, atunci există un principiu universal de organizare globală a întregului sistem al acestor nivele (poate chiar principiul de funcționare și organizare a fiecărui nivel, identic de altfel).

Deci s-ar părea că ceva universal s-ar putea generaliza.
Așa cum susține și Haramein, și WoodyCAd(principiul), și poate mulți alții.

curiosul
Foarte activ
Foarte activ

Mulțumit de forum :
10 / 1010 / 10
Numarul mesajelor : 4962
Puncte : 29745
Data de inscriere : 22/03/2011

Sus In jos

Re: Despre teorema de incompletitudine

Mesaj Scris de Continut sponsorizat


Continut sponsorizat


Sus In jos

Sus


 
Permisiunile acestui forum:
Nu puteti raspunde la subiectele acestui forum