Miesięczne Archiwum: wrzesień 2025

Na kłopoty … K O M P U T E R

0
Dowód twierdzenia o czterech barwach był pierwszym spektakularnym osiągnięciem matematyki komputerowej w samej matematyce. Jeśli na początku wzbudzał wiele kontrowersji i mieszane uczucia, to ostatecznie został uznany. Precedens zatem zaistniał; komputerom zostały na oścież uchylone drzwi do matematyki.