Henning Makholm

less info
meta site favicon meta user | stack exchange network profile network profile
53,519 reputation
362135
bio website henning.makholm.net
location Copenhagen, Denmark
age 39
visits member for 1 year, 9 months
seen 6 hours ago
stats profile views 6,201

I'm a computer scientist by training (Ph.D. in programming language technology, 2003), currently working in industry. Real mathematics is more of a hobby.

In general, don't assume I necessarily know what I'm talking about, unless it's about computer science or formal logic. I dabble in various other fields that I've never taken courses in, mostly just by extrapolating from Wikipedia.


1,265 Answers

newest activity votes
142
Multiple-choice question about the probability of a random answer to itself being correct
61
A new imaginary number? $x^c = -x$
60
Does a “cubic” matrix exist?
55
Getting the sequence $1, 0, -1, 0, 1, 0, -1, 0, \ldots$ without trig?
51
Prove that if two miles are run in 7:59 then one mile MUST be run under 4:00.
44
Proof that the real numbers are countable: Help with why this is wrong
42
Academic integrity
34
Logic nonsense/paradox
33
$\sin 1^\circ$ is irrational but how do I prove it in a slick way? And $\tan(1^\circ)$ is …
32
Is there a clever solution to this elementary probability/combinatorics problem?
30
Do “Parabolic Trigonometric Functions” exist?
26
Solutions to the matrix equation $\mathbf{AB-BA=I}$ over general fields
24
What kind of “mathematical object” are limits?
22
Why does volume go to zero?
19
How many prime numbers are known?
19
Can true randomness come out of mathematical rules?
19
Is the set of all mathematical truths countable or uncountable?
18
Computing limit $\frac{1}{2} +\frac{ 2}{4} + \frac{3}{8}+ \frac{4}{16} +\frac{ 5}{32} + \dots$
18
Cutting cake into 5 equal pieces
18
The status of high school geometry
17
Symbol denoting “for at least one”
16
Showing that $a+b\sqrt{2}$ is associative over multiplication
16
Show that $\tan 3x =\frac{ \sin x + \sin 3x+ \sin 5x }{\cos x + \cos 3x + \cos 5x}$
16
What is the standardized way to represent $\pi$ in binary notation?
16
Attitude towards exercises in mathematics
15
Which function ($f$) is continuous nowhere but $|f(x)|$ is continuous everywhere?
14
Does law of excluded middle prove itself?
14
Compute $\sum_{k=0}^{\infty}\frac{1}{2^{k!}}$
14
Prove that if 2000 m is run in 4:50, then one mile is run under 4:00
14
Irrationality of “primes coded in binary”
1 2 3 4 5 … 43