Видеотека: J. A. Makowsky, The undecidability of various affine Pappian geometries: wrong proofs and new true theorems

ВИДЕОТЕКА


Logical Perspectives 2018 17 мая 2018 г. 16:30, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10

The undecidability of various affine Pappian geometries: wrong proofs and new true theorems J. A. Makowsky Technion – Israel Institute of Technology, Haifa
Язык доклада: английский