A logika
-
turul16 #58 Egy kis matematikai logika:
Math log.
"Egy kijelentő mondat állítás, ha egyértelmű információt
hordoz és igazságértékkel bír ."
"Egy állítés igaz, ha az információtartalom a valóságnak
megfelelő, egyébként hamis, függetlenül tudásunktól."
"Ezt a mondatot nem lehet bizonyítani" Nem állítás matematikai logika szerint ez a mondat, többek között azért, mert igazságértékkel nem bír.
Pont ezt láttad be.
Nincs ilyenfajta gebasz az Arisztotelészi logikába ezek szerint.
Egy hasonló eset ami teljesen más :) ::
"Tétel. Létezik felsorolható, de nem rekurzív nyelv.
Bizonyítás: Tekintsük azokat a Turing-gépeket, melyek nem fogadják el a saját
kódjukat inputként. Ezen Turing-gépek kódjai meghatároznak egy nyelvet. Erröl a
nyelvről belátható, hogy rekurzív felsorolható, ám ezzel mi nem foglalkozunk. Ha ez a nyelv még rekurzív is volna, akkor lenne egy Turing gép, amely pontosan ezt a nyelvet ismerné fel. Azaz azokat a kódokat ismerné fel, amelyhez tartozó Turinggépek nem ismerik fel magukat. Felismeri-e ez a gép saját magát? Ha nem, akkor kódja benne van a nyelvben, de akkor a definíció miatt fel kellene ismernie saját magát. Ha pedig felismeri, akkor olyan a kódja, hogy nem ismerheti fel magát.
Mindkét esetben ellentmondáshoz jutottunk, így ez a nyelv nem lehet rekurzív."
Algoritmus elmélet 22. oldal
"Egy L nyelvet rekurzívan felsorolhatónak nevezünk, ha van olyan Turing-gép amely által felismert nyelv éppen az L."
Szinén onnan.
Mint látod ez a logikusan bizonyítható.