Ферма Пьер

1601 год
-
1665 год

Французский юрист, но остался известен как математик.

Пьер Фема не решал прикладных  математических задач, как было принято в то время, а занимался именно «чистой» математикой.

Новости
Случайная цитата
  • Теорема Курта Гёделя о неполноте
    Курт Гёдель в статье: «О формально неразрешимых предложениях Principia Mathematica и родственных систем» показал, что в достаточно богатых формальных системах имеются неразрешимые предложения, то есть предложения, которые недоказуемы и одновременно неопровержимы.Математик и логик Альфред Тарский в 1936 году так кратко сформулировал этот вывод: «Во всякой достаточно мощной системе истинность предложений системы неопределима в рамках самой системы»Этот результат показал неосуществимость программы...