Philosophy of science, logic and mathematics in the 20th century. (2023)