Dept of Philosophy and Religious Studies

9 results

Filter

2023
Certified $Σ_1$-sentences
Kurahashi, T. & Visser, A., 22 Jun 2023, arXiv, 31 p.
Research output: Working paper › Preprint › Academic

File
Incompleteness of boundedly axiomatizable theories
Enayat, A. & Visser, A., 23 Nov 2023, arXiv, 6 p.
Research output: Working paper › Preprint › Academic

File
Pour-El's Landscape
Kurahashi, T. & Visser, A., 7 Oct 2023, arXiv, 35 p.
Research output: Working paper › Preprint › Academic

File
Universal Proof Theory: TACL 2022 Lecture Notes
Iemhoff, R. & Jalali Keshavarz, R., 2023, arXiv.
Research output: Working paper › Preprint › Academic
2022
There are no minimal essentially undecidable Theories
Pakhomov, F., Murwanashyaka, J. & Visser, A., 17 Jul 2022, arXiv, 11 p.
Research output: Working paper › Preprint › Academic

File
2021
Simulation Intelligence: Towards a New Generation of Scientific Methods
Lavin, A., Krakauer, D., Zenil, H., Gottschlich, J., Mattson, T., Brehmer, J., Anandkumar, A., Choudry, S., Rocki, K., Baydin, A. G., Paige, B., Isayev, O., Peterson, E., McMahon, P. L., Macke, J., Cranmer, K., Zhang, J., Wainwright, H., Hanuka, A. & Veloso, M. & 4 others, Assefa, S., Zheng, S., Pfeffer, A. & Prunkl, C., 2021, arXiv.
Research output: Working paper › Preprint › Academic

Open Access
2019
Black Hole Entropy is Thermodynamic Entropy
Timpson, C. G. & Prunkl, C., 2019, arXiv.
Research output: Working paper › Preprint › Academic

Open Access
Enayat Theories
Visser, A., 19 Sept 2019, arXiv, 34 p.
Research output: Working paper › Preprint › Academic

File
2015
Coordinate-free logic
Leo, J. M. I. M., 28 Jul 2015, Logic Group Preprint Series, p. 1-40, 40 p. (Logic Group preprint series).
Research output: Working paper › Preprint › Academic