2091577348

niejszej niż poprzednia, łamigłówki piętnasto-połowej.¹

Przy okazji: łamigłówka 15-polowa obchodzi właśnie stulecie swego istnienia. Wynaleziona w 1878 r. przez Sama Loyda, była kiedyś tak popularna, że angielscy pracodawcy specjalnym zarządzeniem musieli zabronić robotnikom układania jej w godzinach zajęć.

Dużo poważniejsze niż zabawa w łamigłówki wydaja się być rozwiązywanie zadań geometrycznych. Oba te zagadnienia nie są jednak zbyt od siebie odległe — ich stopień trudności jest z punktu widzenia komputera niemal identyczny. Przekonał się o tym Marvin Min-sky,² gdy chciał się zorientować, czy maszyna potrafi udowodnić jedno z podstawowych twierdzeń o równości kątów przy podstawie trójkąta równoramiennego.

Znany nam ze szkoły dowód Euklidesa opiera się na podobieństwie dwóch trójkątów powstałych na skutek przeprowadzenia z wierzchołka A odcinka prostopadłego do podstawy (rys. 11). Maszyna zasugerowała inne rozwiązanie, wcale nie wymagające dodatkowych konstrukcji. Potraktowała trójkąty ABC i ACB jako odrębne figury i wydrukowała odpowiedź

DANE: AB = AC

AC = AB

DOWÓD <£ BAC = <£ CAB

A ABC = A ACB <£ ABC = <£ ACB C.B.D.O.

Okazało się przy tym, że dowód ten został już przedstawiony na przełomie III i IV w. przez

1

The Robots Are Comming, Sandbach, 1974 NCC Publications.

2

* M. L. Minsky, Notes on the Geometry Problem. Artificial Intelligence Project, Dartmouth College, Hanover, 1956.