Re: Rust - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Rust › Re: Rust

X-Received: by 10.31.151.77 with SMTP id z74mr72321vkd.3.1502371541658; Thu, 10 Aug
2017 06:25:41 -0700 (PDT)
X-Received: by 10.31.151.77 with SMTP id z74mr72321vkd.3.1502371541658; Thu, 10 Aug
2017 06:25:41 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!peer02.am4!peer.am4.highw
inds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!
s6no2101994qtc.1!news-out.google.com!n39ni797qtf.1!nntp.google.com!s6no2101992q
tc.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Thu, 10 Aug 2017 06:25:41 -0700 (PDT)
In-Reply-To: <a...@n...v.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=77.254.42.28;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
NNTP-Posting-Host: 77.254.42.28
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>
<a...@n...v.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a...@g...com>
Subject: Re: Rust
From: "M.M." <m...@g...com>
Injection-Date: Thu, 10 Aug 2017 13:25:41 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 3838778461
X-Received-Bytes: 2570
Xref: news-archive.icm.edu.pl pl.comp.programming:210954
[ ukryj nagłówki ]

On Thursday, August 10, 2017 at 2:57:08 PM UTC+2, slawek wrote:
> 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.

Zależy o jakie sprawdzenie chodzi. Zwykle sam sposób sprawdzania jest
także aksjomatem, dowodzenie przez indukcję jest aksjomatem. Na wiarę
przyjmujemy, że przeprowadzony dowód przez indukcję oznacza, że
twierdzenie jest prawdziwe.

Natomiast praktyczna i teoretyczna przydatność systemu formalnego
wynikłego z aksjomatów jest pewnym sposobem sprawdzania aksjomatów -
albo są przydatne, albo nie.

Pozdrawiam