Komentář 16184
» odpovědět «
Autor: Szaszián
Čas: 2017-08-13 13:44:32
Titulek: Re: WTF???
[↑]
Web: neuveden
Mail: neuveden
A co třeba hranice mezi apriorním a aposteriorním nebo česky mezi myšlenkami a fakty?
Netuším, co je co lze napsat v PHP, lze napsat i v C++, ale předpokládám, že důkaz je apriorní, čili je to matematické – alespoň v širším smyslu.
Ten příklad z reálného světa… Pak by byl jakýkoliv výpočet s Pythagorovou větou, podle kterého se něco postavilo, příklad z reálného světa. Stejně jako Pythagorovu větu nedokazuje, že se podle ní dá stavět, tak tu informatickou větu nedokazuje, že se podle ní dá programovat.
Netuším, co je co lze napsat v PHP, lze napsat i v C++, ale předpokládám, že důkaz je apriorní, čili je to matematické – alespoň v širším smyslu.
Ten příklad z reálného světa… Pak by byl jakýkoliv výpočet s Pythagorovou větou, podle kterého se něco postavilo, příklad z reálného světa. Stejně jako Pythagorovu větu nedokazuje, že se podle ní dá stavět, tak tu informatickou větu nedokazuje, že se podle ní dá programovat.