NukeBoards - Kreatywność przede wszystkim
FAQFAQ  SzukajSzukaj  UżytkownicyUżytkownicy  DownloadDownload
RejestracjaRejestracja  ZalogujZaloguj

Odpowiedz do tematu
Poprzedni temat :: Następny temat
Sonda 122

Ile cyfr liczby pi pamiętasz?
Jedną, 3
4%
 4%  [ 2 ]
Jedną, pi
2%
 2%  [ 1 ]
Wszystkie 10 (0 i 1)
0%
 0%  [ 0 ]
Trzy (3)
2%
 2%  [ 1 ]
Trzy (3,14)
26%
 26%  [ 12 ]
4-9 (równa się 5) bez 6 i 7
4%
 4%  [ 2 ]
6 (3,14159)
13%
 13%  [ 6 ]
6 (355/113) czyli 7 (3,141592)
2%
 2%  [ 1 ]
Wszystkie 10 (w swoim ulubionym systemie liczbowym)
2%
 2%  [ 1 ]
Ciasto
31%
 31%  [ 14 ]
Kilka ostatnich
11%
 11%  [ 5 ]
Głosowań: 45
Wszystkich Głosów: 45

Autor Wiadomość
Fadex 
Legenda
#4; #12; #18; #20; #21; #27


Główny edytor: MMF2 Dev
Pojedynki: nie
Steam:
Posty: 1773

51612 Prestiż
Wysłany: 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.
_________________
If it doesn't have to work, I can optimize any code to a runtime of zero. What's your superpower?
wat
 
 
     
cx 
Starszy chorąży


Główny edytor: TGF
Posty: 370

21 Prestiż
Wysłany: 09-03-2013, 23:42   

tak
 
     
Jakim 
Młodszy chorąży
Mjuzik Mejker


Główny edytor: GameMaker
Pojedynki: tak
Steam:
last.fm:
Posty: 263

21763 Prestiż
Wysłany: 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 
Stwórczyni
omc dr fizyki


Główny edytor: Fusion 2.5 Dev
Drugi edytor: Construct
Pojedynki: być może
Steam:
Posty: 3444

33730 Prestiż
Wysłany: 11-03-2013, 18:03   

I teras to już było napisane :)
 
     
Wyświetl posty z ostatnich:   
Odpowiedz do tematu
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
Nie możesz załączać plików na tym forum
Możesz ściągać załączniki na tym forum
Dodaj temat do Ulubionych
Wersja do druku

Skocz do:  

PSK Cytaty Klikibaza - kopia wszystkich klików Klikipedia - encyklopedia o tworzeniu gier Discord KlikCzat Zaproszenie
Daj piniondza Wielkie Muzeum Klikowe

Powered by phpBB modified by Przemo © 2003 phpBB Group