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