Informatyka UJ forum

oinopion

Witam!
Ma ktoś może nagrany wykład z dowodem twierdzenia Knastra-Tarskiego?

Pozdr.

kapnik

Mała anegdota:
Knaster zawsze się wściekał gdy ktoś odmieniał jego nazwisko w taki sposób (tj. D = Knastra). Chciał, by zawsze mówić - Knastera. Inny wybitny polski matematyk tamtych czasów Hugo Steinhaus oburzony taką odmianą mawiał: "U mnie w ogródku rosną astry, a u Knastra astery" na co Knaster mu odpowiadał: "Prezydent Egiptu nazywa się Nasser i nikt nie mówi inaczej jak córka Nassera" :>