Posted By: chrudak (svalovec) on 'CZscience'
Title:     Re: Pocitacove dokazovani
Date:      Wed Sep  3 09:02:54 1997


> zaklade nez algoritmickem, jelikoz nektere veci proste nejde algoritmizovat,
> IMHO napriklad dokazovani libovolne mat. vety.

Vis to jiste? Ja mam za to , ze prinejmensim tento problem neni jeste 
rozhodnut....

chrudak (bhakta before crash)
rados@mail.kolej.mff.cuni.cz

Search the boards