#reversemathematics

Live, measured metrics for the hashtag #reversemathematics from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.

hashtag.org network · sponsored

Own #reversemathematics

This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.

$5.00/ year · 18-character #name
Claim #reversemathematics — $5.00/yr→Buy on hashtag.space (web3)
card via hashtag.org · tokens via hashtag.space
—
Uses / 7 days
Mastodon
—
Accounts / 7 days
Mastodon
3
Recent posts
Mastodon
~0/hr
Recent pace
Mastodon · last 3
0.3
Avg reactions / post
Mastodon · last 3

Day-by-day usage

measured · mastodon.social (Mastodon public tags API) · fetched 2026-07-28 11:23 UTC

No measured public usage for #reversemathematics in the last 7 days. That is a real result, and a good one to know: this hashtag is wide open right now. We show a dash before we ever show a made-up number. Browse the trending index for tags with live measurements.

Related hashtags

measured · fosstodon.org (Mastodon public search API) · fetched 2026-07-28 11:23 UTC

No related tags with measured usage found for #reversemathematics.

Live pulse

measured · fosstodon.org (Mastodon tag timeline) · fetched 2026-07-28 11:23 UTC

Everything below is measured over the latest 3 public posts (spanning ~11141 hours).

Posting hours (UTC)

00:0012:0023:00

Languages: English (3)

Avg boosts / post: 2

Top of the latest posts

  • (1/7) Mathematical induction is in some sense the most powerful mathematical technique. I don't simply mean that it's really useful; I mean that meta-mathematically it often underpins the strength of a foundation. This is the main insight f

    The King@[email protected]♥ 1↻ 52022-12-26 18:03 UTCView post →

  • A small survey I wrote on reflection principles in second-order arithmetic is now online. I’ll write a toot sketching _what_ are these reflection principles tonight. https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2228-07.pdf

    Leonardo Pacheco@[email protected]♥ 0↻ 12022-11-17 02:05 UTCView post →

  • Hahn–Banach theorem follows from WKL0, a weak subsystem of second-order arithmetic that takes a form of Kőnig's lemma restricted to binary trees as an axiom. In weaker axioms they are equivalent #reversemathematics

    xameer@[email protected]♥ 0↻ 02021-09-18 13:29 UTCView post →

Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/reversemathematics