Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

DougMerritt (log😅 = 💧log😄) @dougmerritt@mathstodon.xyz

12/27/2025, 9:23:18 PM

Public

"Today, mathematics is regarded as a supremely abstract science. On forums such as Stack Exchange, trained mathematicians regularly sneer at newcomers who ask for intuitive explanations of mathematical constructs. Indeed, persistently trying to relate the foundations of math to reality has become the calling card of online cranks."
-- @lcamtuflcamtuf
https://lcamtuf.substack.com/p/how-has-mathematics-gotten-so-abstract

How has mathematics gotten so abstract?

What's the meaning of "numbers" and "arithmetic operations"? We consult Georg Cantor's turtles and look at Giuseppe Peano's code.

lcamtuf.substack.com

If you have a fediverse account, you can quote this note from your own instance. Search https://mathstodon.xyz/users/dougmerritt/statuses/115793631574214940 on your instance and quote it. (Note that quoting is not supported in Mastodon.)