Dnia Tue, 30 Dec 2014 15:03:35 +0000 (UTC), Tomek Kańka napisał(a):
> Shrek <...@w...pl> napisał(a)
>>>> Każdy kto zna podstawy logiki, wie że żadanie udowodnienia nieistnienia
>>>> czegoś jest absurdalne.
>>>
>>> Nie istnieje parzysta liczba pierwsza > 2.
>>> Nie istnieją liczby naturalne p, q takie, że sqrt(2)=p/q.
>>
>> No dobrze - a teraz to udowodnij:P
>>
> No weź... NTG, ale przyjmij proszę, że potrafię.

Trywialnie proste, OIDP to w liceum to robilismy ... ale opiera sie na
twierdzeniu ze istnieje jednoznaczny rozklad liczby na czynniki
pierwsze. To twierdzenie tez ma dowod, ale juz chyba nie taki
trywialny. A jak zaczniemy sie wszystkiego czepiac, to dojdziemy chyba
do twierdzenia Godla ... i sie zrobi nieprzyjemnie :-)

J.