-
Data: 2017-08-10 11:34:32
Temat: Re: Rust
Od: g...@g...com szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu czwartek, 10 sierpnia 2017 08:57:51 UTC+2 użytkownik slawek napisał:
> Jest gorzej: udowodniono że nie da się udowodnić aksjomatów. Patrz
> twierdzenie Goedela.
Aksjomatów z definicji się nie udowadnia, i to nie od czasów Gödla,
tylko Euklidesa.
Naprawdę byłoby fajnie, gdybyś -- przed wypowiedzeniem się -- przeczytał
chociaż pobieżnie (np. na Wikipedii) na temat, na który chcesz się
wypowiedzieć.
Następne wpisy z tego wątku
- 10.08.17 12:17 M.M.
- 10.08.17 14:19 Maciej Sobczak
- 10.08.17 14:51 slawek
- 10.08.17 14:56 slawek
- 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
Najnowsze wątki z tej grupy
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
Najnowsze wątki
- 2025-06-30 Nowa tarcza do telefonu
- 2025-06-29 Spotkania z Ariane De Rotschild, szefową Iluminatów, Księżniczką Hiszpanii Leonor
- 2025-06-29 Re: Dr. Kontek (już od paru lat nie SGH) odkrył odchylenia statystyczne [PO EKSPERCIE?]
- 2025-06-28 Upadłość i zwolnienia [w Diorze, która była pol prod. głośników - przyp. JMJ]
- 2025-06-28 Taśma izolacyjna do prac elektrycznych
- 2025-06-27 Recenzja 3.1A ;) w 6 gniazdach...
- 2025-06-27 Re: Recenzja 3.1A ;) w 6 gniazdach...
- 2025-06-27 Re: Recenzja 3.1A ;) w 6 gniazdach...
- 2025-06-27 Re: Recenzja 3.1A ;) w 6 gniazdach...
- 2025-06-28 China => Production Coordinator / Representant Product Dev <=
- 2025-06-28 Gdynia => Przedstawiciel handlowy / KAM (branża TSL) <=
- 2025-06-28 Piaseczno => Developer .NET <=
- 2025-06-28 Warszawa => Specjalista ds. Sprzętu Komputerowego <=
- 2025-06-28 Warszawa => Recruiter 360 <=
- 2025-06-28 Warszawa => Sales Assistant <=