Re: OT - tak jsem si zřídil DS - vtip

[Miroslav Mraz]

Já si myslím, že tohle sem patří.
1. Je to sranda.
2. Špatná práce s kvantifikátory v predikátové logice 1. řádu je poměrně 
častá. Stejně tak prostá záměna implikace a ekvivalence, někdo to prostě 
nerozlišuje.

S logikou jsou na štíru i chytřejší lidi než jsme my tady. Na webu 
najdete přednášky, kde teologové ukazují, že existenci Boha dokázal 
matematicky přesně - tedy pomocí logiky - už Kurt Gödel a není proto 
třeba vznášet další pochybnosti.
Přitom tento důkaz spočívá vlastně jen v tom, že pokud určitý pojem 
dostatečně přesně definujeme, musí tento nutně existovat. Ohromující je 
na tom jen obrovská složitost jak toto tvrzení dokázat.

Mrazík

Dne 18. 01. 21 v 20:11 sam.hw napsal(a):
> Zdravim,
> 
> abych odlehcil, a ukazal chybu v logice:
> ...
> 
> Vieš, čo je to logika? - pýta sa policajt kolegu.
> - Čože?
> - Tak ti to teda vysvetlím. Máš akvárium?
> - Mám.
> - Z toho logicky vyplýva, že máš rád zvieratá, je tak?
> - Tak.
> - A z toho logicky vyplýva, že máš rád aj prírodu, dobrý život a teda aj ženy, pravda?
> - Pravda.
> - No vidíš, toto je logika.
> Na druhý deň príde osvietený kolega k policajtovi.
> - Povedz mi, máš akvárium?
> - Nie.
> - No vidíš, tak ty si buzerant.
> 
> 
> :)
> 
> (ale cele je to spis na debatu do hospody, nez na technicke forum)