THEMAKARESH: Která je ta třetí? (já se ptal, na správnost dvou sebe vylučujících vět - správná může být první, nebo druhá, nebo jak jsme teď usoudili ani jedna - další možnost není - obě správné [tak jak jsou postaveny] být nemohou)

THEMAKARESH: No taková strunová teorie hypotéza nikdy (předpokládá se) nebude ověřena experimentem a je to fyzika a její jazyk je matematika.

LOPIK: To pece nevadí. Pokud je matematika jazyk fyziky, netvrdí se, že ji fyzika užívá celou. Pokud je fyzika aplikovaná matematika, netvrdí se že celá matematika. Tam bych problém neviděl. MAtematika může být jazyk fyziky, ekonomie i futrukolnomiky (kterou ještě nikdo nenašel, ale to neznamená, že její jazyk nemusí být matematika)

HOWKING: A teď co s tou částí matematiky, co nemá s fyzikou vůbec nic společnýho? To je jazyk ekonomie?

HOWKING: špatně jsou všechny tři...

Ještě to ukážu na příkladu Matematika = {aplikovaná matematika, čistě teoretická matematika}, Fyzika={aplikovaná matematika}, ale pak už nebude obsahovat tu čistě teoretickou matematiku, protože nebude mít nic společného s množinou Fyzika, protože k té už potřebuješ mít např. prvek ověření reálným experimentem

THEMAKARESH: No ale pak není ani jedna z těch definic správná - třetí možnost. (ale obě najednou správné být prostě nemohou)

HOWKING: Já myslím, že to není celé postavené správně. Spíš bych si představil jako jednotlivé množiny a pak to co vypisuješ jsou jejich prvky. No a některé prvky obou těchto množin se protínají.

MINERWA: ne, zvolila bych obě, ale ta možnost není, takže nemůžu hlasovat :)

MORGAIN: jasně, stejně jako když řeknu, že barva je světlá, tak to nevylučuje černou, že jo....

MINERWA: Žádnou, protože možnost obě tam nebyla.
Zároveň to, že se dvě tvrzení nevylučují, neznamená, že jsou to samé ;-)

MORGAIN:
GRANTORINO:
a zvolili jste první nebo druhou možnost, když je to to samý?

HOWKING: takže nepočítal, díky