-
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!peer02.am4!peer.am4.highwinds-media.com!pee
r02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.fr7!futter-mich.highwinds-me
dia.com!news.highwinds-media.com!newsfeed.neostrada.pl!unt-exc-02.news.neostrad
a.pl!unt-spo-a-02.news.neostrada.pl!news.neostrada.pl.POSTED!not-for-mail
From: slawek <f...@f...com>
Newsgroups: pl.comp.programming
Subject: Re: Rust
Date: Thu, 10 Aug 2017 14:56:38 +0200
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
In-Reply-To: <c...@g...com>
References: <om4qli$mfm$1@node2.news.atman.pl>
<8...@g...com>
<a...@g...com>
<om9hfe$4up$2@node2.news.atman.pl>
<a...@n...v.pl>
<omfp58$92v$1@node1.news.atman.pl>
<a...@n...v.pl>
<omgs3i$s8o$1@node2.news.atman.pl>
<c...@g...com>
Message-ID: <a...@n...v.pl>
User-Agent: Groundhog Newsreader for Android
Lines: 7
Organization: Telekomunikacja Polska
NNTP-Posting-Host: 188.146.170.11
X-Trace: 1502369799 unt-rea-a-02.news.neostrada.pl 15192 188.146.170.11:52004
X-Complaints-To: a...@n...neostrada.pl
X-Received-Body-CRC: 2934045265
X-Received-Bytes: 1605
Xref: news-archive.icm.edu.pl pl.comp.programming:210950
[ ukryj 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
- 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
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-11-14 Dobra zmiana
- 2024-11-14 Czy prezydent może ułaskawić od zadośćuczynienia? [A. Lepper odszkodowania]
- 2024-11-14 Gliwice => Network Systems Administrator (IT Expert) <=
- 2024-11-14 Gliwice => Administrator Systemów Sieciowych (Ekspert IT) <=
- 2024-11-13 Filtr do pompy ruskiej
- 2024-11-12 Gdzie kosz?
- 2024-11-13 elektrycznie
- 2024-11-12 Jebane kurwa, kurwy.
- 2024-11-13 karta parkingowa
- 2024-11-13 Wl/Wyl (On/Off) bialy/niebieski
- 2024-11-12 I3C
- 2024-11-13 Kraków => DevOps Engineer (Junior or Regular level) <=
- 2024-11-13 Łódź => Senior SAP HANA Developer <=
- 2024-11-13 Zabrze => Senior PHP Symfony Developer <=
- 2024-11-13 Karlino => Konsultant wewnętrzny SAP (FI/CO) <=
Freelancer: jak pracuje, ile zarabia, skąd ma zlecenia?
