564 reputation
815
bio website list.seqfan.eu
location FR
age 65
visits member for 5 years, 2 months
seen 12 hours ago
Administrator of the seqfan (Integer Sequences) mailing list and old contributor of Neil Sloane's O.E.I.S. (Wiki version here.)

Jun
7
comment The origin of the satisfy-verify mixup
@GeorgesElencwajg : I really dislike his way of writing and talking about mathematics, the architecture of most of his books, his choice of emphasis, even if he is one very important mathematician of the 20th century with deep contributions to many fields, great and even devastating insight, etc. In the particular case we are discussing I do not think he originated this way of using "verifier" but I hold it to a higher standard than most and I regret that he employs it.
Jun
5
comment The origin of the satisfy-verify mixup
This is just a proof that Serre has terrible style inherited from at least one of his teachers and that he is not alone among the Bourbaki team whose influence on mathematical writing tradition in France and elsewhere is significant. This is clearly a minor "abus de langage" and its frequency and diffusion does not reduce the absurdity of using an active verb implying consciousness with a mathematical object as a subject.
Apr
20
awarded  Nice Answer
Jan
19
awarded  Necromancer
Oct
9
awarded  Constituent
Oct
4
awarded  Caucus
Jun
25
awarded  Excavator
Jun
25
awarded  Suffrage
Jun
25
awarded  Citizen Patrol
Feb
8
comment Mathematical ideas named after places
And there is the Syracusan Square which is a special case of Graeco-Latin square ...
Oct
11
awarded  Nice Answer
Apr
15
awarded  Yearling
Dec
19
awarded  Necromancer
Apr
16
awarded  Yearling
Aug
28
accepted What is exactly the (singularity) confinement property ?
Jun
22
awarded  Necromancer
May
29
comment What are the most misleading alternate definitions in taught mathematics?
@Omar: This definition by subset of the product of domain and codomain is not only a trick. This is a good basis for combinatorial thinking and fits nicely with the various ways of counting fundamental objects.
May
29
comment What are the most misleading alternate definitions in taught mathematics?
@Christos: As previously commented there is the 3. about partitions of a set. There are cases where you better use def 1 to prove there is one. In fact we bother discussing many kinds of relations. Before introducing equivalence relations, you can take some time to define strict and inclusive order relations, which are antisymmetric. It prepares you to the fact that all these concepts are related. And is a good preparation for lattice theory.
May
23
awarded  Enthusiast
May
21
comment Books you would like to see translated into English.
I am afraid these are (mathematically) of anecdotical interest and that Grothendieck has again recently vetoed translations and publications in any form of his magnus opus.