Dirac viết phương trình của mình năm 1928 rồi thấy nó đòi một hạt giống electron nhưng điện dương, bốn năm sau người ta bắt được positron trong buồng mây. Chuyện đó lặp lại đủ nhiều để Wigner năm 1960 gọi tên hiệu quả phi lý của toán học trong khoa học tự nhiên. Còn chuyện toán được khám phá hay được phát minh thì không thí nghiệm nào phân xử nổi: Platon, hình thức, nhập thân, vũ trụ toán học đều là lập trường triết học, tranh luận bằng lý lẽ, không bằng số liệu. Gödel và Turing còn cho thấy toán học cũng có biên.
Dirac viết phương trình của mình năm 1928 rồi thấy nó đòi một hạt giống electron nhưng điện dương, bốn năm sau người ta bắt được positron trong buồng mây. Chuyện đó lặp lại đủ nhiều để Wigner năm 1960 gọi tên hiệu quả phi lý của toán học trong khoa học tự nhiên. Còn chuyện toán được khám phá hay được phát minh thì không thí nghiệm nào phân xử nổi: Platon, hình thức, nhập thân, vũ trụ toán học đều là lập trường triết học, tranh luận bằng lý lẽ, không bằng số liệu. Gödel và Turing còn cho thấy toán học cũng có biên.
Chủ đề liên quan trong Biên giới tri thức