Predikata logiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Arseno (diskuto | kontribuoj) |
Arseno (diskuto | kontribuoj) |
||
Linio 26:
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», [[Andrej 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)
# La fama [[Hilbert]]-a kredo, ke homaro kapablas solvi ĉiun frazon, eblas (la [[Sovetunio|sovetaj]] matematikistoj [[Kolmogorov]] kaj [[Aleksandrov]], ekzemple)
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
| |||