Hogyan tudjuk bebizonyítani valamiről, hogy nem lehet bebizonyítani?
Figyelt kérdés
Hallottam már valamilyen tudományos cikkben, hogy XY nem tudta bebizonyítani az állítást, viszont AB bebizonyította, hogy a bizonyítását nem is lehetséges megoldani. Ez hogyan lehet? Hogyhogy valamit nem tudunk bebizonyítani? És egyáltalán hogyan tudjuk bebizonyítani egy állításról, hogy nem tudjuk bebizonyítani?2015. dec. 9. 17:21
1/5 anonim 
válasza:
válasza:Olyan nincs hogy egy bizonyítás végeredménye az, hogy nem bizonyítható. Ha valami nem bizonyítható, akkor az nem igaz. Persze nem ide keverendő az, amikor egy állítás bizonyítását még nem készítették el, mert az nem azt jelenti hogy nem lehet bebizonyítani.
Egyébként a matematikának egy nagy ágát alkotja a bonyolultságelmélet. Ez nagyon nehéz része a matematikának, azzal foglalkozik hogy adott problémának létezik-e megoldása vagy sem. Nem a megoldást adja meg, hanem a létezéséről nyilatkozik, majd arról állapít meg dolgokat, és ez nagyon messzire vezet az elméleti matematikában
2/5 anonim válasza:
válasza:Mindent be lehet bizonyítani. Ami nincs bebizonyítva, az nincs bebizonyítva.
3/5 anonim válasza:
válasza:Arra keress rá, hogy Gödel-tétel.
4/5 A kérdező kommentje:
#3
Rákerestem, de nem sokat segített.
2015. dec. 9. 22:23
5/5 anonim válasza:
válasza:A matematikai logikában pontosan lehet definiálni, hogy mit jelent az, hogy bizonyítható. Lényegében ez azt jelenti, hogy az adott állítás az axiómákból logikai módszerekkel levezethető. A Gödel nem teljességi tétel bizonyos axiómarendszerekben (gyakorlatilag az összes, amit a matematikában használunk)nem bizonyítható és nem cáfolható állítások konstruálására ad módszert. (Persze formális módon.) Tehát arról van szó, hogy logikailag az, hogy A-t lehet bizonyítani ugyanúgy állítás, mint A.
Kapcsolódó kérdések:
Minden jog fenntartva © 2024, 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!
Ha kifogással szeretne élni valamely tartalommal kapcsolatban, kérjük jelezze e-mailes elérhetőségünkön!