RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Video Library
Archive
Most viewed videos

Search
RSS
New in collection





You may need the following programs to see the files






Workshop on Proof Theory, Modal Logic and Reflection Principles
October 17, 2017 15:35, Moscow, Steklov Mathematical Institute
 


Negative Church's thesis and Russian constructivism

K. Sato
Video records:
MP4 1,107.8 Mb
MP4 303.6 Mb

Number of views:
This page:49
Video files:14

K. Sato


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Abstract: A variety of constructive mathematics, known as Russian Recursive Constructive Mathematics (RRCM), has been considered to be characterized by two axioms: the semi-classical principle called Markov's principle (MP) and Church's Thesis (CT) or its extended variant (ECT). The latter basically asserts that any function has a recursive index, and is known to be inconsistent with Brouwer's principle, namely the continuity of all functions on Baire space. I modify Church's Thesis with negative or classical existence (NCT), and show, by a realizability model, that it is consistent with Brouwer's principle as well as with many important consequences of the original CT or ECT. Intuitively, CT requires that if a function is given then its code is also given, whereas NCT does not require it but only that any function is recursive (without index being given). I would like to know the opinions especially from today's Russian logicians about this new principle with respect to RRCM, a Russian tradition from Markov.

Language: English

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017