Talk:Implementation of mathematics in set theory: Difference between revisions

Content deleted Content added
No edit summary
Cewbot (talk | contribs)
m Maintain {{WPBS}} and vital articles: 1 WikiProject template. Create {{WPBS}}. Keep majority rating "B" in {{WPBS}}. Remove 1 same rating as {{WPBS}} in {{Maths rating}}. Remove 1 deprecated parameter: field.
 
(4 intermediate revisions by 2 users not shown)
Line 1:
{{WikiProject banner shell|class=B|
{{maths rating|class=B|priority=Mid|field=foundations}}
{{WikiProject Mathematics|priority=Mid}}
 
}}
== Untitled section ==
 
Line 71 ⟶ 72:
:::::::Oh; okay. [[User:BCG999|BCG999]] ([[User talk:BCG999|talk]]) 19:28, 19 January 2013 (UTC)
 
==Confusing redirect pages: [[MathematicalFormalized formalismmathematics]] vs. [[Formalism (mathematics)]] and [[Mathematical formalism]]==
WhyAll does3 [[Mathematicalof formalism]]these redirectlinks point to different pages, including this page. insteadIs of[[mathematical formalism]] distinct from [[Formalismformalism (mathematics)]] in any way? [[User:Jarble|Jarble]] ([[User talk:Jarble|talk]]) 00:30, 3 April 2015 (UTC)
:Oh, it's completely different, at least in my usage. I would expect an article called ''mathematical formalism'' to be about collections of formal methods for addressing a given informal problem — for example, in the history of quantum mechanics, the wave formulation and the matrix formulation were competing mathematical formalisms, until it was shown that they were reducible to one another. At which point, I suppose, they remained competing mathematical formalisms, but competing only as to which one was more useful or more perspicacious, as opposed to which one was correct.
:On the other hand, I would expect ''formalism (mathematics)'' to be about a viewpoint in the philosophy of math, according to which mathematics is about statements formally derivable from axioms, as opposed to statements that refer to actually existing abstract objects.
:I wrote the above without checking where the ''actual'' links point, because if that's wrong, it's relatively inessential and easily corrected. I'll check after I save the page. --[[User:Trovatore|Trovatore]] ([[User talk:Trovatore|talk]]) 00:50, 3 April 2015 (UTC)