# Tagged Questions

**-4**

votes

**0**answers

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

**3**answers

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

**9**answers

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. ...