Kezdőoldal » Tudományok » Természettudományok » Továbbgondolva Gödelt, a...

U. Xorter kérdése:

Továbbgondolva Gödelt, a bizonyíthatóság vagy annak hiánya minden esetben bizonyítható?

Figyelt kérdés
Azaz van-e olyan eset, amikor eldönthetetlen, hogy bizonyítható-e egy állítás?

2023. febr. 28. 03:45
 1/5 anonim ***** válasza:

"Azaz van-e olyan eset, amikor eldönthetetlen, hogy bizonyítható-e egy állítás?"


Van.

2023. febr. 28. 10:28
Hasznos számodra ez a válasz?
 2/5 anonim ***** válasza:
26%
"Minden elég erős, ellentmondásmentes elméletben van olyan állítás, mely eldönthetetlen, miközben igaz."
2023. febr. 28. 12:11
Hasznos számodra ez a válasz?
 3/5 A kérdező kommentje:

#1-es, nem arra gondolok, hogy eldönthetetlen, hogy létezik rá bizonyítás, hanem hogy eldönthetetlen annak bizonyítása/cáfolata, hogy létezik rá bizonyítás. Egy iterációval továbbléptem. Bocsánat, ha nem egyértelmű.

Tudunk példát mondani? Feltételezem, hogy a legtöbb sejtés/hipotézis példa a sima eldönthetetlenségre, de ezek közül van-e olyan, ami úgy eldöntetlen, hogy bizonyíthatatlan az eldönthetősége. Értitek?

2023. febr. 28. 22:24
 4/5 A kérdező kommentje:

Röviden: eldönthetetlenség eldönthetetlensége.

Formálisabban: az A1 eldöntési probléma a következő: döntsük el, hogy A0 eldönthetetlen-e. Tudjuk, hogy A1 eldönthetetlen. Ekkor A0-ról miket mondhatunk?

Ha A0-ról biztosan tudjuk, hogy eldönthetetlen, akkor nem igaz, hogy A1 eldönthetetlen, így A0-ról nem tudhatjuk, hogy eldönthető-e. De tudjuk-e megfelelő A0-ra bizonyítani, hogy A1 eldönthetetlen?

2023. márc. 1. 00:24
 5/5 anonim ***** válasza:

A bizonyíthatóság durván azt jelenti, hogy van olyan formulahalmaz, melyből "kipottyan" a bizonyítandó. Ha A nem bizonyítható, az pontosan azt jelenti, hogy az axiómarendszerben nincs olyan formulákból álló halmaz, melyre a fenti igaz. Tfh. nincs olyan formulahalmaz, mely bizonyítaná, hogy nincs olyan formulahalmaz, mely teljesíti a fentieket. Ha az eredeti A állításunk bizonyítható, akkor tétel (logikai értelemben), ezért bizonyítható, tehát tétel az is, hogy van olyan formulahalmaz, mely teljesíti a fentieket. Ellentmondás. Ha A nem igaz, akkor nincs olyan formulahaz,... (az előző gondolatmenet ismételhető), ismét ellentmondás.


Nyilván ezt ki kell precizírozni, de e a kérdés jó és a válasz az, hogy nem. :) De tetszik a kérdés. :)

2023. márc. 1. 10:46
Hasznos számodra ez a válasz?

További kérdések:




Minden jog fenntartva © 2025, www.gyakorikerdesek.hu
GYIK | Szabályzat | Jogi nyilatkozat | Adatvédelem | Cookie beállítások | WebMinute Kft. | Facebook | Kapcsolat: info(kukac)gyakorikerdesek.hu

A weboldalon megjelenő anyagok nem minősülnek szerkesztői tartalomnak, előzetes ellenőrzésen nem esnek át, az üzemeltető véleményét nem tükrözik.
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!