-4
votes
0answers
158 views

Can there ever be symbolic formalism (of importance) without intuitive heuristics? [on hold]

Problem solving consists of using generic or ad hoc methods, in an orderly manner, for finding solutions to problems. Some of the problem-solving techniques developed and used in artificial ...
3
votes
3answers
301 views

Embedding Theorem for topological spaces, and in general

There are many examples throughout mathematics of abstracting the formal properties of a "familiar" structure, but then having a theorem stating that all models of the abstract axioms embed into one ...
3
votes
9answers
1k views

Are there any important mathematical concepts without discrete analog?

In "continuous" mathematics there are several important notions such as covering space, fibre bundle, Morse theory, simplicial complex, differential equation, real numbers, real projective plane, etc. ...