-
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
- Xiaomi [Chiny - przyp. JMJ] produkuje w całkowitych ciemnościach i bez ludzi
- Prezydent SZAP/USONA Trump ułaskawił prezydenta Hondurasu Hernandeza skazanego na 45 lat więzienia
- Rosjanie chwalą się prototypem komputera kwantowego. "Najważniejszy projekt naukowy Rosji"
- A Szwajcarzy kombinują tak: FinalSpark grows human neurons from stem cells and connects them to electrode arrays
- Re: Najgorszy język programowania
- NOWY: 2025-09-29 Alg., Strukt. Danych i Tech. Prog. - komentarz.pdf
- Na grupie comp.os.linux.advocacy CrudeSausage twierdzi, że Micro$lop używa SI do szyfrowania formatu dok. XML
- Błąd w Sofcie Powodem Wymiany 3 Duńskich Fregat Typu Iver Huitfeldt
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- 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
Najnowsze wątki
- 2026-01-29 KSeF - 13 wątpliwości
- 2026-01-29 A ja się pochwalę
- 2026-01-29 Warszawa => Mid/Senior IT Recruiter <=
- 2026-01-29 Warszawa => Senior Java Developer <=
- 2026-01-29 Warszawa => IT Recruiter <=
- 2026-01-28 Degradacja
- 2026-01-28 Wysoki Sąd poinstruował czego unikać wyzywając Owsiaka "Równiejszego"
- 2026-01-28 Białystok => Solution Architect (Workday) - Legal Systems <=
- 2026-01-28 Białystok => Preseles Inżynier (background baz danych) <=
- 2026-01-28 Wrocław => Konsultant wdrożeniowy ERP <=
- 2026-01-28 Łódź => Microsoft Engineer <=
- 2026-01-28 Białystok => Tester manualny <=
- 2026-01-27 Tradycja ciągania posłów po sądach za wystąpienia w Sejmie będzie kontynuowana [Lepper 2]
- 2026-01-27 Pierwszy raz sprzedano więcej samochodów zeeletryfikowanych niż ice
- 2026-01-27 Elektryczny Kałasznikow
Jak kupić pierwsze mieszkanie? Eksperci podpowiadają
