-
Data: 2005-07-24 19:40:05
Temat: Re: pseudoinformatycy
Od: "stokrotka" <p...@o...pl> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]> dowody matematyczne też są ciągiem logicznych kroków wynikających
> z aksjomatów i zastosowanych metod dowodzenia logicznego. Czy też
> nazwiesz je programami, zaś matematykę - nauką o programach?
W tym sformułowaniu sugerujesz że
dowód matematyczny jest ciągiem logicznych kroków ...i jest programem.
Ja nie widzę takiego związku.
1.
Program wcale nie musi być ciągiem logicznych kroków.
Program może byc nielogiczny.
2.
Program to sposób w jaki ma postępować maszyna.
Dowód przeprowadza człowiek.
3.
Dowód matematyczny nie musi być programem:
Np dowód obalający twierdzenie może polegać jedynie na podaniu przykładu.
Tak więc matematyka na pewno nie jest informatyką, ani nauką o programach.
Matematyka to piękna nauka i prosze nie mieszać jej z informatyką.
stokrotka
--
Wysłano z serwisu OnetNiusy: http://niusy.onet.pl
Następne wpisy z tego wątku
- 24.07.05 20:06 Piotr
- 24.07.05 20:15 Jarek Hirny
- 24.07.05 20:34 Marek Kuchciak
- 24.07.05 20:40 Bronek Kozicki
- 24.07.05 21:12 Mariusz 'BB' Trojanowski
- 24.07.05 21:26 Immona
- 24.07.05 21:51 Jarek Hirny
- 24.07.05 22:51 Wojciech Bańcer
- 25.07.05 06:15 czarny
- 25.07.05 06:18 czarny
- 25.07.05 07:01 szomiz
- 25.07.05 07:15 Przemysław Maciuszko
- 25.07.05 07:51 czarny
- 25.07.05 08:06 stokrotka
- 25.07.05 08:28 czarny
Najnowsze wątki z tej grupy
- is it live this group at news.icm.edu.pl
- praca 12/24
- 5 minut przerwy przy komputerze
- raczej już nigdy nie będę pracował w Polsce
- Stanowiska sztucznie tworzone
- Re: SOLUTIONS MANUAL: Optical Properties of Solids 2nd Ed by Mark Fox
- zapłata
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Re: Cwana cwaniurka czyli niemieccy oszuści.
- Jawność zarobków wszystkich
- rozmówki przy wódeczce...
- herbatka...
- Re: POSZUKUJĘ NIEWIELKIEJ POŻYCZKI
- Uploads - What is wrong with Easynews
- Zarobki w dolarach, a VAT, podatek i fakturowanie
Najnowsze wątki
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-24 Warszawa => QA Manager <=
- 2024-05-24 Warszawa => AI Specialist <=
- 2024-05-24 Zabrze => Analityk biznesowo-systemowy <=
- 2024-05-24 Ulm => Technischer Rollouter (d/m/w) <=
- 2024-05-24 Warszawa => Senior Rust Software Engineer <=
- 2024-05-24 Warszawa => Spedytor międzynarodowy <=
- 2024-05-24 Kraków => Head of International Freight Forwarding Department <=