アレッサンドロ・パドア

アレッサンドロ・パドア(、 – )は、イタリアの数学者、論理学者、ジュゼッペ・ペアノ学派の貢献者。新たなが、他の原始概念から独立しているか否か判断する方法を開発したことで知られる。 類推して、ある公理が他の公理から独立しているか否か判断する問題がある。

[ ウィキペディアで続きを見る... ]