Posted By: Endif (Menhir Mover) on 'CZscience'
Title:     Re: Pocitacove dokazovani
Date:      Mon Sep  1 11:22:10 1997

> pokuseni verit, ze aspon urcite logicke kroky se pocitace velmi dobre nauci.

Snad. Myslim si, ale ze logika pocitacu bude muset byt vybudovana na jinem 
zaklade nez algoritmickem, jelikoz nektere veci proste nejde algoritmizovat, 
IMHO napriklad dokazovani libovolne mat. vety.

Bye, Andy/Endif 
                         ... please wait - loading a virus into your computer.

Search the boards