there is good hope though; the program of constructive analysis in math seems to be successful, and there does not seem to be any obvious limit to the capacities of computer algebra systems
(I think that a set of policies and behaviors only counts as a culture if it involves a choice, and is not imposed by the rules of the game one has to play.)
-
-
There are a few choices for mathematicians: 1. Which logic to use for their metalogic 2. What axioms should be made explicit: Most papers don't declare "we now use modus ponens" 3. What level of detail to present their arguments: what is acceptable as a pragmatic approximation
-
It seems to be a good approximation when we say that are no fundamental disagreements between mathematicians. There seem to be merely different areas and levels of expertise. In my view, philosophy is a culture (or several ones), because philosophers have tremendous disagreements
- 6 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.