Теоремы Эрбрана
Существует несколько теорем, связанных с именем французского математика Жака Эрбрана:
- Теорема Эрбрана[англ.] — фундаментальный результат математической логики, связывающий логику первого порядка с пропозициональной логикой.
- Теорема о дедукции — теорема о связи импликации и вывода в логических системах.
- Теорема Эрбрана — Рибета[англ.] — теорема из теории групп.
- Теорема Эрбрана о группах ветвления[англ.].
 |
Список значений слова или словосочетания со ссылками на соответствующие статьи. Если вы попали сюда из текста другой статьи Мегавики, пожалуйста, вернитесь и уточните ссылку так, чтобы она указывала на нужную статью. |