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`

Bartosz Milewski @BartoszMilewski@mathstodon.xyz

8/22/2025, 9:26:09 AM

Public

I was wondering why the Goedel's incompleteness theorem didn't apply to Euclidean geometry. After all we can encode natural numbers on a blackboard by drawing digits, which are geometric figures. Turns out the problem is that we can't pick the encoding using first order logic.
https://math.stackexchange.com/questions/90393/why-euclidean-geometry-cannot-be-proved-incomplete-by-g%C3%B6dels-incompleteness-the

Why Euclidean geometry cannot be proved incomplete by Gödel's incompleteness theorems?

Wikipedia mentioned the limitation of Gödel's theorems. According to it, Euclidean geometry doesn't satisfy the hypotheses of Gödel's incompleteness theorems, that is, it cannot define natural numb...

math.stackexchange.com · Mathematics Stack Exchange

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