-
Data: 2017-08-10 14:56:38
Temat: Re: Rust
Od: slawek <f...@f...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Thu, 10 Aug 2017 03:17:44 -0700 (PDT), "M.M." <m...@g...com>
wrote:
> A matematycy potrafią sprawdzać.
Nie potrafią. Patrz tw. Goedela. Muszą być aksjomaty. A tych się nie
da sprawdzić. Nie dlatego że starożytni Grecy zrobili tabu, ale
dlatego że nie jest to możliwe.
Następne wpisy z tego wątku
- 10.08.17 14:57 slawek
- 10.08.17 15:21 M.M.
- 10.08.17 15:25 M.M.
- 10.08.17 18:06 AK
- 10.08.17 21:20 M.M.
- 10.08.17 22:06 slawek
- 10.08.17 22:18 AK
- 10.08.17 22:24 s...@g...com
- 10.08.17 22:23 AK
- 10.08.17 22:27 AK
- 10.08.17 22:32 AK
- 10.08.17 22:45 slawek
- 10.08.17 22:46 slawek
- 10.08.17 22:48 slawek
- 10.08.17 22:52 slawek
Najnowsze wątki z tej grupy
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
Najnowsze wątki
- 2025-01-19 Nowa ładowarka Moya a Twizy -)
- 2025-01-18 Power BANK z ładowaniem przelotowym robi PRZERWY
- 2025-01-18 Pomoc dla Filipa ;)
- 2025-01-18 znowu kradno i sie nie dzielo
- 2025-01-18 Zieloni oszuchiści
- 2025-01-18 Zielonka => Specjalista ds. public relations <=
- 2025-01-18 Warszawa => Frontend Developer (JS, React) <=
- 2025-01-18 Warszawa => Software .Net Developer <=
- 2025-01-18 Warszawa => Developer .NET (mid) <=
- 2025-01-18 Katowice => Administrator IT - Systemy Operacyjne i Wirtualizacja <=
- 2025-01-17 Zniknął list gończy za "Frogiem". Frog się nam odnalazł?
- 2025-01-17 Kto wytłumaczy "głupiemu" prezydentowi Dudzie wielką moc prawną "dekretu premiera" TUSKA? [(C)Korneluk (2025)]
- 2025-01-17 Warszawa => Inżynier oprogramowania .Net <=
- 2025-01-17 Natalia z Andrychowa
- 2025-01-17 Gliwice => Business Development Manager - Dział Sieci i Bezpieczeńst