Reputation
3,588
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 10 37
Newest
 Yearling
Impact
~69k people reached

Oct
19
asked Understanding properties and criticisms of a (specific) sequent calculus
Oct
15
reviewed Reviewed How do I go about doing math as a hobby?
Oct
15
awarded  Custodian
Oct
15
reviewed Looks OK Simplifying the sum of a fraction and an integer under a radical sign
Oct
13
comment Good books on mathematical logic?
I warmly recommend the latest German edition. The English edition has received some devastating reviews‌​, which makes me unsure whether it really matches the qualities of the German text (including such niceties as worked out solutions to the sometimes challenging exercises).
Sep
29
awarded  Custodian
Sep
29
reviewed Approve Example of rings of the same positive characteristic that do not embed into their tensor product?
Sep
22
revised Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice
added references for solution idea
Sep
22
answered Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice
Sep
22
comment about Fourier transformation on zero-padded vector
@user1285419 I tried to make the notation less confusing now. The "multiplication" is a convolution, but FFT(sinc) is not well defined, because sinc is neither periodic nor has compact support. But maybe I should be less lazy and really work out the exact convolution kernel for the finite sum, maybe this would clarify things. For the exact convolution kernel, FFT(kernel) would actually be well defined, and mean more or less what you expect.
Sep
22
revised about Fourier transformation on zero-padded vector
try to make notation less confusing
Sep
22
revised Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice
Fixed a wrong statement and provided a less simplified motivation for the question
Sep
22
revised Are ordinal spaces extremally disconnected?
Boole is a proper name, so Boolean should be capitalized
Sep
22
answered Are ordinal spaces extremally disconnected?
Sep
21
answered about Fourier transformation on zero-padded vector
Sep
21
asked Are ordinal spaces extremally disconnected?
Sep
19
comment What Do Mathematicians Do?
In laymen's term, a mathematician sits in front of a monitor and presses keys on a keyboard. Slightly more detailed, he probably reads and understands many papers, both mathematical papers and papers from the discipline he's currently working on. Then maybe he's explaining what he learned from these papers to other people, and how relevant it is or could be for what they are doing. Independent of whether what I wrote above is true, I hope it gives some idea what "laymen's terms" could mean.
Aug
30
awarded  Benefactor
Aug
29
comment Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice
@Willemien No, I'm happy with distributive lattices for many-valued logic at the moment. It's challenging enough for me already, so I'm not inclined to give up additional properties of $\land$ and $\lor$ in addition to giving up some properties $\lnot$. I know that orthocompleted lattices are useful for quantum logic, but that's not my concern at the moment. By the way, you have to add the @... if you want that I'm notified of your comment, despite the fact that I asked the initial question. Only GejzaJenča get notified automatically if you comment on his answer.
Aug
24
comment Existence of maximal boolean-algebra sublattice (preserving top and bottom) of finite distributive lattice
Is is possible that the concept I'm looking for is called "center of a distributive lattice"? I found the following reference: planetmath.org/centerofalattice I somehow get the impression that this concept was already introduced by Birkhoff, but missing in the freely available texts on lattice theory I studied. Do you have access to books discussing the "center of a lattice", and do you know whether they show that the "general double negation operator" I'm looking for always exists for distributive lattices?