NukeBoards
Sondy - Sonda 122
Fadex - 03-03-2013, 20:50
:
RomanX, naturalne że w dowodzie korzysta się z wcześniej udowodnionych / zdefiniowanych pojęć. W przeciwnym razie dowody "prostych" równości typu 2+2=4 zajmowałyby kilkadziesiąt linijek, a "proste" twierdzenia geometryczne kilka kartek A4. To, że pominąłem definicję równości i dodawania oraz ich własności nie znaczy, że one nie istnieją - uznałem tylko że nie ma sensu jej tu przytaczać bo to materiał na inną definicję/dowód. Przypominam też, że każdy dowód opierający się na udowodnionych faktach jest pełnowartościowy, tak samo jak ten wyprowadzony z pojęć aksjomatycznych. Empiryczna intuicja natomiast - nie i chyba jest ku temu jakiś powód.
cx - 09-03-2013, 23:42
:
tak
Jakim - 11-03-2013, 16:07
:
http://tachyos.org/godel/1+1=2.html
Formalny dowód równości 1+1=2. Nie zamierzam przedstawiać Principia Mathematica, gdzie dowód tej oczywistości zajął od licha tekstu (znaków w zasadzie).
I CO TERAS?
Minty - 11-03-2013, 18:03
:
I teras to już było napisane 
|