" Martin Escardo EscardoMartin Replying to EscardoMartin See my paper "Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics"." https://www.cs.bham.ac.uk/...
"Martin Escardo EscardoMartin Replying to EscardoMartin Just to be clear, here I am not viewing constructive mathematics as computable mathematics in the sense of Turing computability and Kleene realizability. 4/"
"Martin Escardo EscardoMartin Replying to EscardoMartin Constructive mathematics makes sense without knowing about Turing machines or the meta-conjecture that they would capture the intuitive mathematical notion of algorithm, whetever that may be. 5/"
數學家的邏輯到底都怎麼唸的
Martin Escardo
EscardoMartin
Replying to
EscardoMartin
See my paper "Infinite sets that satisfy the principle of omniscience in any variety of constructive mathematics"."
https://www.cs.bham.ac.uk/...
Replying to EscardoMartin
Just to be clear, here I am not viewing constructive mathematics as computable mathematics in the sense of Turing computability and Kleene realizability.
4/"
Replying to EscardoMartin
Constructive mathematics makes sense without knowing about Turing machines or the meta-conjecture that they would capture the intuitive mathematical notion of algorithm, whetever that may be.
5/"
畢竟 CH 總是很自然要去考慮可計算性
面對他 接受他 放下它ar chi ve . org 是什麼神奇網站