Frank Waaldijk has contributed to 5 nLab pages.
Franka Waaldijk | 08:44:47, June 04 2019 |
intuitionistic mathematics | 09:43:48, May 15 2017 |
intuitionistic mathematics | 12:38:11, May 03 2017 |
partition of unity | 09:43:48, April 29 2017 |
intuitionistic mathematics | 13:57:03, July 20 2015 |
Franka Waaldijk | 10:32:57, August 31 2014 |
intuitionistic mathematics | 10:32:57, August 31 2014 |
computable physics | 10:32:57, August 31 2014 |
Church-Turing thesis | 10:32:57, August 31 2014 |