Predikata logiko: Malsamoj inter versioj

Tial la du variantojn mi povas reskribi:

# Matematiko (almenaŭ, la homa matematiko) estas ĉiam programebla kaj homaro neniam ekscios solvon pri kelkaj frazoj (tiun varianton elektis la matematikistoj «konstruistoj», la [[Sovetunio|soveta]] matematikisto [[Markov]], ekzemple). Tiu varianto estas, ja, matematika rigardo pri Dia ekzisteco (Dio povas sukcesi vidi senfinan aron tute, homo povas sukcesi vidi nur kelkajn erojn pri la aro)

 

Kelkaj matematikistoj ŝercas, ke eĉ se la unua varianto pravas, do neniu homo uzos la komputilajn pruvojn. Tion ekzemplas [[ŝako]]: la ludo estas, ja, programebla, sed homoj ne uzas la komputilan manieron pri ludi, ĉar homoj ludas ne por gajni, sed por ĝoji