7 ms·

Math major here. I too came out of your paper thinking that the quantifiers are the only interesting part of you paper; interesting enough, in fact, that I may

Math major here. I too came out of your paper thinking that the quantifiers are the only interesting part of you paper; interesting enough, in fact, that I may start using them myself. One criticism is that there is no way to use them for variables that occur in more than one place. That is, you could not use them to right "for all x in R, x<x+1". I propose a simple addition of an optional subscript for the variable name in the quantifier. My other criticism is that it seems less natural to read that notation. With the standard notation, you can simply replace the symbol with English words and read it. While the transliteration in your notation is likely possible, it seems more complicated. In this sense, I would probably view this notation more as a shorthand. For pedagogical purposes, I feel like separating the qualifier from the usage of the variable is a good idea.

giomasce 9y ago
It is not the only problem, unfortunately. For example, there is no way to specify the order of quantifiers, which is very important (if you commute existiential and universal quantifiers, in general you change the meaning of a formula). So, for example, the definitions of pointwise and uniform continuity would we written identically, and that is not tolerable. Probably you could solve also this by adding another index to quantified quantities, but at that point are you really solving the problem of complexity? Complexity is not only measured in terms of verbosity (i.e., length of the expressions you produce); ability to quickly locate information and ease of manipulation are also important, and it seems to me that this formalism fails completely. In the "traditional" formalism you separate the "final fact" you want to assert from its "conditions", given by the quantifiers; usually, you want to process those pieces of information at different times. Also, you have rules for quantifier introduction and elimination, which seems to be a nightmare with the proposed formalism. That said, I do encourage new proposals and experimentation with notations, as with anything else in mathematics, even from young students. There have been cases in maths in which some good idea for a new notation made an entire field much easier (I am thinking for example to Einstein notation for tensor calculus).

giomasce 9y ago

It is not the only problem, unfortunately. For example, there is no way to specify the order of quantifiers, which is very important (if you commute existiential and universal quantifiers, in general you change the meaning of a formula). So, for example, the definitions of pointwise and uniform continuity would we written identically, and that is not tolerable. Probably you could solve also this by adding another index to quantified quantities, but at that point are you really solving the problem of complexity? Complexity is not only measured in terms of verbosity (i.e., length of the expressions you produce); ability to quickly locate information and ease of manipulation are also important, and it seems to me that this formalism fails completely. In the "traditional" formalism you separate the "final fact" you want to assert from its "conditions", given by the quantifiers; usually, you want to process those pieces of information at different times. Also, you have rules for quantifier introduction and elimination, which seems to be a nightmare with the proposed formalism. That said, I do encourage new proposals and experimentation with notations, as with anything else in mathematics, even from young students. There have been cases in maths in which some good idea for a new notation made an entire field much easier (I am thinking for example to Einstein notation for tensor calculus).