> 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