@onion5.bsky.social
I like onions and mathematics and other things. I strongly believe that pure sets platonically exist, but that proper classes do not.
Reposted
Reposted
SO THEN.
WILL YOU PARTAKE ONCE MORE?
WILL YOU PARTAKE ONCE MORE?
June 4, 2025 at 2:55 PM
SO THEN.
WILL YOU PARTAKE ONCE MORE?
WILL YOU PARTAKE ONCE MORE?
Reposted
I CAN FEEL IT
QUICKENING NOW.
HOW LUCKY WE ARE
TO NEED EACH OTHER IN THIS WAY.
QUICKENING NOW.
HOW LUCKY WE ARE
TO NEED EACH OTHER IN THIS WAY.
June 4, 2025 at 2:52 PM
I CAN FEEL IT
QUICKENING NOW.
HOW LUCKY WE ARE
TO NEED EACH OTHER IN THIS WAY.
QUICKENING NOW.
HOW LUCKY WE ARE
TO NEED EACH OTHER IN THIS WAY.
Reposted
OUR BEAUTIFUL
CONNECTION.
CONNECTION.
June 4, 2025 at 2:49 PM
OUR BEAUTIFUL
CONNECTION.
CONNECTION.
Reposted
Reposted
AND YET,
NO MATTER HOW MUCH TIME PASSES,
IT STILL
NO MATTER HOW MUCH TIME PASSES,
IT STILL
June 4, 2025 at 2:42 PM
AND YET,
NO MATTER HOW MUCH TIME PASSES,
IT STILL
NO MATTER HOW MUCH TIME PASSES,
IT STILL
Reposted
DAYS
THAT FELT
LIKE YEARS.
YEARS
THAT FELT
LIKE DAYS.
THAT FELT
LIKE YEARS.
YEARS
THAT FELT
LIKE DAYS.
June 4, 2025 at 2:39 PM
DAYS
THAT FELT
LIKE YEARS.
YEARS
THAT FELT
LIKE DAYS.
THAT FELT
LIKE YEARS.
YEARS
THAT FELT
LIKE DAYS.
Reposted
HOW LONG
IT HAS BEEN.
IT HAS BEEN.
June 4, 2025 at 2:36 PM
HOW LONG
IT HAS BEEN.
IT HAS BEEN.
It's nice that Wittgenstein had the idea of Church Numerals before lambda calculus was even a thing (proposition 6.021 in the tractatus)
December 19, 2024 at 10:47 PM
It's nice that Wittgenstein had the idea of Church Numerals before lambda calculus was even a thing (proposition 6.021 in the tractatus)
it would be so great to have transfinite lives...
April 6, 2024 at 12:48 PM
it would be so great to have transfinite lives...
ordinal turing machines (and equivalent models) are so cool, they can semi-decide the whether or not a Σ_1 statement of set theory is true, which has HUGE implications for phil of math but almost no one knows about them :-(
December 6, 2023 at 7:35 PM
ordinal turing machines (and equivalent models) are so cool, they can semi-decide the whether or not a Σ_1 statement of set theory is true, which has HUGE implications for phil of math but almost no one knows about them :-(
Reposted
The human condition
Rene Magritte
Rene Magritte
October 11, 2023 at 4:18 AM
The human condition
Rene Magritte
Rene Magritte
Reposted
Euclidean Walks - René Magritte (1898-1967)
November 29, 2023 at 8:39 AM
Euclidean Walks - René Magritte (1898-1967)
Reposted
Idk where this is from but it goes HARD
November 5, 2023 at 6:06 PM
Idk where this is from but it goes HARD
Reposted
The symbol ∀ implies the existence of a domain being quantified over. So if you don't believe proper classes exist, you shouldn't believe that it is always meaningful for a Π_1 statement to be true.
December 3, 2023 at 1:31 PM
The symbol ∀ implies the existence of a domain being quantified over. So if you don't believe proper classes exist, you shouldn't believe that it is always meaningful for a Π_1 statement to be true.
Reposted
A clump of what I take to be Sulphur Tuft 📸🍄 #fungifriends
December 3, 2023 at 7:37 AM
A clump of what I take to be Sulphur Tuft 📸🍄 #fungifriends
Reposted
Cozy bonnets for a cold day ❄️
#fungifriends
#fungifriends
December 3, 2023 at 1:00 PM
Cozy bonnets for a cold day ❄️
#fungifriends
#fungifriends