"Mapping of important international academic awards" | Annual Review of Ecology and Systematics |
---|---|
16: "By encryptedness, I mean that one symbol can stand for a number of different operations or ideas, just as the multiplication sign symbolizes repeated addition |
Outlines of a Formalist Philosophy of Mathematics.
1"Cyclic proofs of program termination in separation logic" | " This question was inspired by 's paper "" |
---|---|
Zheng, Juntao; Liu, Niancai 2015 | A Brief History of Mathematics |
4 "A few complain that the computer program can't be verified properly", in reference to the Haken—Apple proof of the Four Color Theorem.
2