24.06.2025 - Seminarium Teorii Gier i Decyzji - godz. 11:00,
Adam Idzik (Instytut Podstaw Informatyki PAN)
Streszczenie:
Lemat o braku zastraszania jest prostym wnioskiem z własności relacji ścisłej preferencji. Dowód twierdzenia Brouwera wykorzystujący ten lemat, podany przez Petri i Voornevelda (opublikowany w JME ), zawiera poważną lukę.