Computability Theory and Foundations of Mathematics 2016

Страна: Япония

Город: Tokyo

Тезисы до: 31.08.2016

Даты: 20.09.16 — 21.09.16

Область наук: Физико-математические;

Е-мейл Оргкомитета: ctfm2016@fastmail.com

Организаторы: Waseda University

 

Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory.

Веб-сайт конференции: http://www.sendailogic.com/CTFM2016/