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

Content deleted Content added
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.
 
(5 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 70 ⟶ 71:
::::::There’s absolutely no need to apologize.—[[User:EmilJ|Emil]] [[User talk:EmilJ|J.]] 20:43, 18 January 2013 (UTC)
:::::::Oh; okay. [[User:BCG999|BCG999]] ([[User talk:BCG999|talk]]) 19:28, 19 January 2013 (UTC)
 
==Confusing redirect pages: [[Formalized mathematics]] vs. [[Formalism (mathematics)]] and [[Mathematical formalism]]==
All 3 of these links point to different pages, including this page. Is [[mathematical formalism]] distinct from [[formalism (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)