The prospects for mathematical logic in the twenty-first century

TL;DR

This paper explores potential future developments in mathematical logic across various subfields, providing speculative insights into how the discipline might evolve in the twenty-first century.

Contribution

It offers a comprehensive, multi-author perspective on the future directions of mathematical logic, highlighting key areas like recursion, proof, model theory, and set theory.

Findings

Speculative insights into future research directions

Discussion of potential advancements in logic subfields

Independent analysis of recursion, proof, model theory, and set theory

Abstract

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.