#halftauday — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #halftauday, aggregated by home.social.
-
@BeefGriller Celebrate both #HalfTau day and #TauDay ! #HalfTauDay
-
@BeefGriller Celebrate both #HalfTau day and #TauDay ! #HalfTauDay
-
The smallest positive real whose cosine is one is two times the smallest positive real whose sine is zero. Proved from axioms of IZF set theory via constructing reals, convergence and notation for infinite series, the exponential function, continuity, and the monotone intermediate value theorem. https://us.metamath.org/ileuni/taupi.html #PiDay #HalfTauDay #HalfTau #constructiveMathematics
-
The smallest positive real whose cosine is one is two times the smallest positive real whose sine is zero. Proved from axioms of IZF set theory via constructing reals, convergence and notation for infinite series, the exponential function, continuity, and the monotone intermediate value theorem. https://us.metamath.org/ileuni/taupi.html #PiDay #HalfTauDay #HalfTau #constructiveMathematics
-
Happy half-Tau day! In honour of the half-circle constant, why not enjoy your favourite half-circle, like a calzone or a folded omelette.
-
The smallest positive real whose cosine is one is twice the smallest positive real whose sine is zero. https://us.metamath.org/mpeuni/taupi.html . Happy Half Tau Day! #mathstodon #PiDay #HalfTauDay #math
-
The smallest positive real whose cosine is one is twice the smallest positive real whose sine is zero. https://us.metamath.org/mpeuni/taupi.html . Happy Half Tau Day! #mathstodon #PiDay #HalfTauDay #math
