Portál AbcLinuxu, 23. září 2026 01:39
, jestli to pomůže k pochopení... Jenom mi přijde, že AI moc nepochopila, že naprosto centrální téma mého zápisku bylo "můžeme věřit Leanu?" (ne jenom druhá půlka), a místo toho se fakt hodně rozpovídal o těch rovnicích samotných. Já se zaměřil na otázku Leanu proto, že o rovnicích samotných, a kdejakých kontroverzích se mluvilo fakt hodně, a moc se neví, na čem je založená současná jistota matematické správnosti.
Tiskni
Sdílej:
ISSN 1214-1267, (c) 1999-2007 Stickfish s.r.o.