Észrevétlen formális, és a paradoxon a hazug
A paradoxon a hazug
Összeesik paradoxon, ahol akar,
közös intellektus ő becsapja a fejét.
A matematika, mint a természettudományok, a paradoxonok nem üres szórakoztató. Néha paradoxonok vezet nagyon mély felfedezéseket. Így az ókori görög matematikusok már régóta zavarba felett miért átlós az egység négyzet nem mérhető pontosan a vonalzó tetszőlegesen kicsiny megosztottságot. Ez a paradoxon, hogy baj a fejében a régi gondolkodók, vezetett bővítése a koncepció létrehozása és az elmélet az irracionális számok. Matematikusok XIX. Úgy tűnt, nagyon ironikus, hogy az összes elemét egy végtelen halmaz és az elemek végtelen részhalmaza lehet létrehozni egy az egyhez megfelelés. Ez a paradoxon vezetett a korszerű halmazelmélet viszont erősen hatott a filozófia a tudomány. Két és fél ezer éve, az egyik logikai rejtvények, kínozza az embereket próbálják harmonizálni az alapja a gondolkodás, a „paradoxon hazug.” Ő a leginkább elérhető a sok paradoxonok, és ezért a leghíresebb közülük. Ő elsődleges kapcsolatban sok más paradoxonok, és ennek következtében az utóbbi nem megszűnik, amíg ez megoldódott „hazug paradoxon”. A legfontosabb dolog -, hogy Gödel használta a logikai forma a paradoxon a hazug ő „nem-teljességi tétele” és logikai-matematikai közösség találta, hogy helyes-e. Ez azt jelzi, hogy a „hazug paradoxon” életben van, és a probléma állásfoglalásának is érvényes.
Emlékezzünk, hogy az első „hazug paradoxon” számos hasonmást készítményekben. Íme néhány közülük:
„Minden krétaiak - hazugok” (disszertáció, zöngés krétai);
„Szeretném kifejezni ma a hamis feltételezés”;
„Ez az állítás hamis”;
„Ez az állítás nem tartozik az osztály igaz állítások”;
A legegyszerűbb és egyértelmű mindig, hogy a talált tegnap, és a legnehezebb, és bizonytalan, hogy mit fognak kiderült holnap.
SledstvieS2. Az oldhatatlan nyilatkozatot nem lehet hozzáadni új axióma.
SledstvieS3. Az oldhatatlan állítás is oldódik a két értékes logika.
SledstvieS4. Meghatározása oldhatatlan kimutatások leírását kezelésére vonatkozó szabályokat, és minden egyéb információt is meg kell mutatni keretében következetes elméletet, ami nem zárja ki a lehetőségét, hogy egy szigorú hivatalossá fő rendelkezéseinek.
Combine vizsgálat C1 és C4 nem nagyon könnyű. Csak reméljük, hogy a „hazug paradoxon” az eredménye az inkompatibilitás a C1 és C4. és nem fordítva. Valójában azt kell bemutatni, hogy a formalizmus, a következetesség és szigorúság is messze meghaladta a matematika. Nem könnyű feladat. Támogatja az elképzelést, feloldhatatlan paradoxon arra utalnak, csak közvetett bizonyítékok. Például Kripke [1,2] megállapította, hogy semmilyen fogalmának értelmezése igaz vagy máskülönben bypass „hazug paradoxon”. Valamint azt a következtetést, hogy az ellentétes, hogy ha mi már nem oldódik állítását, hogy a legjobb módja annak, hogy bemutassa azt a két értékes logika szövegéből az állítás, hogy így nem tudható, hogy igaz vagy hamis értéket.
Matematikusok ismeri csak a „helyi” megoldhatatlan. A nyilatkozat oldhatatlan egyik elmélet, ez oldódik egy másik. Ezért minden ismert példái oldhatatlan lényegében azt állítja, semmi sem oldható kimutatások nem különböznek. Ha az ilyen jóváhagyás átmenetileg nem tudja megoldani. ez okozza a megnövekedett érdeklődést és összpontosítva próbálja megoldani azt. Nincs más különbség. A tökéletesen összeegyeztethetetlen nyilatkozatokat kell kitalálni valami mást. Általában van egy ötlet. A klasszikus igazság fogalma határozza meg az igazság, mint a levelezés a tudás a tárgy (valóság). Ez azt jelenti, hogy annak érdekében, hogy meghatározzák az igazság vagy a hamis állítások, elegendő összehasonlítani a nyilatkozat a valósággal. Ugyanakkor, a logika szabályai, tekintet nélkül a valóságot, és nem adnak pontos kimutatás az igazi választ. Szóval, van egy esélyt, hogy összekapcsolják a C1 és C4 azáltal, hogy a probléma a tisztán matematikai problémák területén a fizikai kísérletek. Továbbra is, hogy megtudja, mi történt a nyilatkozat a valóság, mint a mondat: „ez az állítás hamis” állítás a valóság nem említik. Ez segít nekünk nem megfigyelhető entitások.
Ha írok a transzcendentális problémák
(Azaz, kérdéseket, amelyek túlmutatnak a dolgokat)
e transzcendentálisan világos.
A fizikusok nem tudják, hogyan kell kísérletezni észrevétlenül tárgyakat. A definíció - „észrevétlen” nem szerepel a jellemvonások logikai absztrakciók. Logic kell elvont a valóságtól, és minden olyan észrevételt a valóság, legalábbis ez vonatkozik a formális logika. Ezért nincs matematikai modellje az elmulasztott objektumot. Mi lesz, hogy építsenek egy modell a saját. Általában megfigyelhető jelentése ismeretlen. Ehhez jön egy speciális kifejezés - rejtett beállításokat, amelyek nem különböznek (abban az értelemben, a logika szabályai) a szokásos változók, de lehet, hogy tetszőleges értékeket. Az 1. ábra egy kísérlet „zárt szoba”, amely lehetővé teszi, hogy tanulmányozza a tulajdonságai a nem megfigyelt tárgyak részletesen.