Skip to main content
MathOverflow

Return to Answer

fixed broken link to eom.springer.de
Source Link
The Amplitwist
The Amplitwist
  • 1.4k
  • 3
  • 11
  • 22

I think the framework you are looking for may be found in thinking about the "logic" of mathematics in terms of a "formal language." See the articles on formal languages in the Encyclopedia of MathematicsEncyclopedia of Mathematics and in MathWorld and Wikipedia.

I think the framework you are looking for may be found in thinking about the "logic" of mathematics in terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.

I think the framework you are looking for may be found in thinking about the "logic" of mathematics in terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.

added 9 characters in body; added 13 characters in body; Post Made Community Wiki
Source Link
grshutt
grshutt
  • 833
  • 8
  • 11

I think the "framework"framework you are looking for may be found in thinking about the "logic" of mathematics asin terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.

I think the "framework" you are looking for may be found in thinking about mathematics as a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.

I think the framework you are looking for may be found in thinking about the "logic" of mathematics in terms of a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.

Source Link
grshutt
grshutt
  • 833
  • 8
  • 11

I think the "framework" you are looking for may be found in thinking about mathematics as a "formal language." See the articles on formal languages in the Encyclopedia of Mathematics and in MathWorld and Wikipedia.