In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the ……続きを見る
This volume covers many diverse topics related in varying degrees to mathematics in mind including the mathematical and topological structures of thought and communication. It examines mathematics i……続きを見る