I'm an armchair mathematician currently but I have high aspirations for my math career so it's not really important but if you have free time for definite references it would be much appreciated.
Thanks for the references so far. I'll look into Cybernetics. I already know of Coq but haven't looked that close, I'll make a note to investigate.
Are there any good examples of the critiques of Wittgenstein and Wiener of Principia Mathematica?
The Wikipedia article for PM only mentions Wittgenstein and separately a 'shortcut' from Wiener. I would like to know if there are longer writings somewhere.
Thanks for the references so far. I'll look into Cybernetics. I already know of Coq but haven't looked that close, I'll make a note to investigate.