Ultimele subiecte
» Mica teoremă a lui Fermat
Scris de Hercules Astazi la 00:14

» ETERUL si RADU FORGACI -
Scris de virgil Ieri la 11:43

» Lucrul mecanic-definitie si exemple - ARHIVA
Scris de virgil_48 Mar 13 Noi 2018, 20:11

» Adevar adevarat
Scris de mm Dum 11 Noi 2018, 13:38

» Lucrul mecanic - definitie si exemple
Scris de virgil_48 Sam 10 Noi 2018, 17:44

» Legi de conservare
Scris de virgil_48 Vin 09 Noi 2018, 10:35

» Perpetuum Mobile in magnetism
Scris de scanteitudorel Vin 09 Noi 2018, 09:28

» Probleme de Electromagnetism-rezolvari
Scris de virgil Lun 05 Noi 2018, 08:23

» Cutremurele de pamint
Scris de gafiteanu Dum 04 Noi 2018, 22:57

» Despre ecuațiile lui Maxwell
Scris de scanteitudorel Dum 04 Noi 2018, 15:32

» Ce este o gaura...neagra ?
Scris de virgil Joi 01 Noi 2018, 18:50

» Orbitarea - o miscare compusa
Scris de virgil_48 Mier 17 Oct 2018, 16:46

» Carti sau documente de care avem nevoie
Scris de scanteitudorel Dum 14 Oct 2018, 08:26

» Ce fel de popor suntem
Scris de scanteitudorel Sam 13 Oct 2018, 06:36

» Mecanica FOIP si actiunea acestuia asupra corpurilor.(secțiunea 4)
Scris de gafiteanu Sam 13 Oct 2018, 01:44

» Facilitate LaTeX pentru formule matematice
Scris de virgil_48 Vin 05 Oct 2018, 10:13

» Logica si intuitia
Scris de negativ Joi 04 Oct 2018, 20:34

» Ce este realitatea?
Scris de negativ Lun 01 Oct 2018, 08:13

» Deblocare???? :-(
Scris de virgil Lun 01 Oct 2018, 06:49

» Noutăți
Scris de Bordan Sam 29 Sept 2018, 18:23

» Geniul forumului
Scris de virgil Sam 22 Sept 2018, 19:37

» Ce este FOIP?
Scris de virgil_48 Joi 20 Sept 2018, 19:51

» Superpozitia cosmica vs. superpozitia cuantica
Scris de virgil Mier 19 Sept 2018, 05:53

» La frontierele cunoașterii
Scris de virgil Joi 13 Sept 2018, 18:26

» Studiul similitudinii sistemelor micro si macrocosmice (revizuit)
Scris de virgil Dum 09 Sept 2018, 06:43

» Pentru Galateni
Scris de virgil Sam 01 Sept 2018, 16:38

» Curba de creștere a sistemelor vii
Scris de mm Joi 16 Aug 2018, 00:46

» Critica atractiei gravitationale
Scris de virgil_48 Lun 13 Aug 2018, 19:43

» Curba de crestere a BB (Big Bang-ului)
Scris de gafiteanu Vin 10 Aug 2018, 01:48

» Viteză reală și viteză aparentă
Scris de virgil_48 Vin 03 Aug 2018, 17:40

Top postatori
virgil (8898)
 
CAdi (7389)
 
Abel Cavași (6732)
 
gafiteanu (6181)
 
virgil_48 (6069)
 
Razvan (5591)
 
Pacalici (5571)
 
curiosul (4828)
 
scanteitudorel (4111)
 
negativ (2752)
 

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

Cei mai activi postatori ai lunii
virgil_48
 
scanteitudorel
 
gafiteanu
 
virgil
 
eugen
 
curiosul
 
Hercules
 
Dacu
 
mm
 
Abel Cavași
 

Cei mai activi postatori ai saptamanii
virgil_48
 
virgil
 
Hercules
 
Dacu
 
curiosul
 

Flux RSS


Yahoo! 
MSN 
AOL 
Netvibes 
Bloglines 


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

Nici unul

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

Despre teorema de incompletitudine

In jos

Despre teorema de incompletitudine

Mesaj Scris de curiosul la data de Dum 21 Apr 2013, 14: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 : 4828
Puncte : 29347
Data de inscriere : 22/03/2011

Sus In jos

Re: Despre teorema de incompletitudine

Mesaj Scris de Abel Cavași la data de Lun 22 Apr 2013, 07: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 : 6732
Puncte : 24341
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, 12: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 : 4828
Puncte : 29347
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