-
X-Received: by 10.31.54.206 with SMTP id d197mr64200vka.26.1502357672432; Thu, 10 Aug
2017 02:34:32 -0700 (PDT)
X-Received: by 10.31.54.206 with SMTP id d197mr64200vka.26.1502357672432; Thu, 10 Aug
2017 02:34:32 -0700 (PDT)
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!peer03.am4!peer.am4.highwinds-media.com!pee
r03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u14no2229546ita.0!
news-out.google.com!i9ni124qte.0!nntp.google.com!s6no2029215qtc.1!postnews.goog
le.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 10 Aug 2017 02:34:32 -0700 (PDT)
In-Reply-To: <a...@n...v.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.95.134;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.95.134
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>
<a...@n...v.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <7...@g...com>
Subject: Re: Rust
From: g...@g...com
Injection-Date: Thu, 10 Aug 2017 09:34:34 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1979
X-Received-Body-CRC: 4120339383
Xref: news-archive.icm.edu.pl pl.comp.programming:210946
[ ukryj 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
- 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-29 Białystok => UX Designer <=
- 2025-01-29 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-01-29 Warszawa => Expert Recruiter 360 <=
- 2025-01-29 Zdalny podpis
- 2025-01-29 Nazbyt "muzyczne" słuchawki
- 2025-01-29 Warszawa => QA Engineer <=
- 2025-01-29 Prawo jak je [nie]rząd rozumie.
- 2025-01-29 Gdańsk => Specjalista ds. Sprzedaży <=
- 2025-01-29 Ostrów Wielkopolski => Konsultant Wdrożeniowy Comarch XL/Optima (Ksi
- 2025-01-29 Warszawa => Software .Net Developer <=
- 2025-01-28 Ściąganie hasła frezem
- 2025-01-28 Rok 1973
- 2025-01-28 Warszawa => Programista Dynamics 365 CRM <=
- 2025-01-28 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-01-28 Warszawa => Młodszy Specjalista ds. wsparcia sprzedaży <=