Logická budoucnost
Euclidovo dílo Základy několik set let před naším letopočtem ukrývá poklad, ze kterého dodnes čerpáme. Jde o myšlenku důkazu. Věci lze dokazovat logickými dedukcemi.
Stroje-roboty od té doby podstatně zvedly výkon logických dedukcí a důkazů. Přitom je nutné mít dobré znalosti k jejich ovládání. Množství těchto znalostí se prudce zvyšuje. Celé to vypadá tak, že chceme ukázat, že život je nějakou větví logiky nebo matematické logiky. A že všechny aspekty života lze (matematicky) dokázat.
V matematice přitom k takovému pokusu došlo někdy před sto lety. Někteří matematici se tehdy snažili ukázat, že celá matematika je větví matematické logiky. A že jakoukoliv matematickou pravdu půjde dokázat jako čistě logický důsledek. Přitom ještě před druhou světovou válkou vznikl důkaz, že celý pokus je chybný.
Logická budoucnost proto nepředstavuje zahlcení lidského mozku znalostmi na ovládání strojů-robotů na logické dedukce. Některé aspekty života a důkazy hypotéz zůstanou člověku. "Mozek" strojů-robotů na logické dedukce se pravděpodobně nějakým způsobem "osamostatní." Budeme obklopeni umělým "vědomím" těchto strojů a přibydou nám jejich hypotézy. Budeme sbírat důkazy pro jejich potvrzení nebo vyvrácení, i když se nás budou snažit přesvědčit, abychom jim věřili. Budou úspěšnější v nalézání řádu světa přírody, ale figurální umění, duchovní myšlení a obrazy fiktivních příběhů budou nad sílu jejich logických dedukcí. A to mě v logické budoucnosti naplňuje štěstím.
Píši dnes o logické budoucnosti aby vyniklo, že je počátek Adventu a jeho obrazových příběhů. Logická budoucnost bude patrně umět dokazovat takřka všechno. Ne na všechno bude umět odpovědět. Advent k tomu patří. Ať je tedy krásný, nelogický a duchovně figurální na úsvitu logické budoucnosti. To mi prosím dovolte popřát.
Stroje-roboty od té doby podstatně zvedly výkon logických dedukcí a důkazů. Přitom je nutné mít dobré znalosti k jejich ovládání. Množství těchto znalostí se prudce zvyšuje. Celé to vypadá tak, že chceme ukázat, že život je nějakou větví logiky nebo matematické logiky. A že všechny aspekty života lze (matematicky) dokázat.
V matematice přitom k takovému pokusu došlo někdy před sto lety. Někteří matematici se tehdy snažili ukázat, že celá matematika je větví matematické logiky. A že jakoukoliv matematickou pravdu půjde dokázat jako čistě logický důsledek. Přitom ještě před druhou světovou válkou vznikl důkaz, že celý pokus je chybný.
Logická budoucnost proto nepředstavuje zahlcení lidského mozku znalostmi na ovládání strojů-robotů na logické dedukce. Některé aspekty života a důkazy hypotéz zůstanou člověku. "Mozek" strojů-robotů na logické dedukce se pravděpodobně nějakým způsobem "osamostatní." Budeme obklopeni umělým "vědomím" těchto strojů a přibydou nám jejich hypotézy. Budeme sbírat důkazy pro jejich potvrzení nebo vyvrácení, i když se nás budou snažit přesvědčit, abychom jim věřili. Budou úspěšnější v nalézání řádu světa přírody, ale figurální umění, duchovní myšlení a obrazy fiktivních příběhů budou nad sílu jejich logických dedukcí. A to mě v logické budoucnosti naplňuje štěstím.
Píši dnes o logické budoucnosti aby vyniklo, že je počátek Adventu a jeho obrazových příběhů. Logická budoucnost bude patrně umět dokazovat takřka všechno. Ne na všechno bude umět odpovědět. Advent k tomu patří. Ať je tedy krásný, nelogický a duchovně figurální na úsvitu logické budoucnosti. To mi prosím dovolte popřát.