3,711 reputation
1839
bio website
location Germany
age 48
visits member for 3 years, 10 months
seen Jul 27 at 20:36

My interests:

  • abstract structures
    (e.g. graphs, groups, polytopes, spaces, ...)

    in the course of this

  • category theory

  • model theory

  • presentations and representations
    (e.g. of abstract structures by or inside other abstract structures)

    next to this

  • philosophy
    (esp. of mathematics, science, and mind)

    especially concerned with

  • atomism
    (i.e. reductionistic or other theories referring to some kind of "atoms")

  • their refutations


Jul
27
comment Definition and decidability of bounded quantifiers
What about the Wikipedia defintion: en.wikipedia.org/wiki/Bounded_quantifier ?
Jul
27
revised Definition and decidability of bounded quantifiers
added 4 characters in body
Jul
27
asked Definition and decidability of bounded quantifiers
Jul
22
revised Primitive-recursive functions and polynomial equations
added 58 characters in body
Jul
22
asked Primitive-recursive functions and polynomial equations
Jul
14
revised Polynomials that represent a function
added 269 characters in body
Jul
14
asked Polynomials that represent a function
Jul
13
comment An operation with respect to which the set of prime numbers is closed
@Patrick: I tried to rule out your case by saying that f(x,y) is a polynomial in exactly two variables.
Jul
13
revised An operation with respect to which the set of prime numbers is closed
deleted 24 characters in body
Jul
13
comment An operation with respect to which the set of prime numbers is closed
@Steven: I take your hint seriously and will try to ask my question better!
Jul
13
comment An operation with respect to which the set of prime numbers is closed
@Patrick: My notion of "term" is explained where I pointed to: en.wikipedia.org/wiki/Term_(logic)
Jul
13
revised An operation with respect to which the set of prime numbers is closed
added 36 characters in body
Jul
13
comment An operation with respect to which the set of prime numbers is closed
I really tried to make things clear: "what is a term", "what is a polynomial", "what is an operation". Where and how did I fail?
Jul
13
comment An operation with respect to which the set of prime numbers is closed
The question is only about operators that are expressible by terms with exactly two free variables. Does this make things clearer?
Jul
13
comment An operation with respect to which the set of prime numbers is closed
@Hayden: Please be more specific!
Jul
13
revised An operation with respect to which the set of prime numbers is closed
added 5 characters in body
Jul
13
asked An operation with respect to which the set of prime numbers is closed
Jul
2
awarded  Socratic
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive