3,348 reputation
12663
bio website
location Germany
age 49
visits member for 5 years, 3 months
seen yesterday

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


Feb
17
awarded  Notable Question
Feb
9
awarded  Good Question
Feb
3
awarded  Favorite Question
Jan
17
revised Contexts and notations for composing asymmetric simplices
edited title
Jan
17
revised Contexts and notations for composing asymmetric simplices
edited title
Jan
17
revised Contexts and notations for composing asymmetric simplices
deleted 39 characters in body
Jan
17
revised Contexts and notations for composing asymmetric simplices
added 4 characters in body
Jan
17
revised Contexts and notations for composing asymmetric simplices
added 4 characters in body
Jan
17
revised Contexts and notations for composing asymmetric simplices
added 449 characters in body
Jan
16
revised Contexts and notations for composing asymmetric simplices
deleted 2 characters in body
Jan
15
revised Contexts and notations for composing asymmetric simplices
added 1 character in body
Jan
15
revised Contexts and notations for composing asymmetric simplices
added 81 characters in body
Jan
15
asked Contexts and notations for composing asymmetric simplices
Dec
22
awarded  Nice Answer
Dec
18
awarded  Yearling
Oct
14
awarded  Self-Learner
Oct
14
answered Supervenience in mathematics
Sep
29
comment Rationale behind an requirement on Turing machines
Notice further, that $b$ can not only be read but also be written.
Sep
29
comment Rationale behind an requirement on Turing machines
Re-reading your answer I am still not satisfied: In Hopcroft/Ullman's definition of a Turing machine as a 7-tupel the blank symbol $b$ is distinguished (among the tape symbols), but there seems to be no requirement on a Turing machine involving $b$. Especially the transition function $\delta$ can be defined on the whole tape alphabet (including $b$). The same holds - by the way - for the initial state $q_0$.
Sep
27
awarded  Nice Answer