Алессандро Падоа
- Алессандро Падоа был итальянским математиком и логиком, основателем школы Джузеппе Пеано.
- Он известен своим методом определения независимости нового примитивного понятия от других примитивных понятий.
- В аксиоматических теориях также существует проблема определения независимости аксиомы от других аксиом.
- Падоа выступал на конгрессах в Париже, где его ясное и непринужденное изложение современного аксиоматического метода в математике было особенно заметным.
- Он был первым, кто полностью прояснил идеи, касающиеся определенных и неопределенных понятий.
- Падоа представил свою разработку геометрических концепций на Международном конгрессе математиков в 1900 году.
Полный текст статьи: