Search
1000 results for “ordinal”
-
わたしは えいえん に あなたの よろこびの ために じょすうしの ごいの なか に みを ささげ ます.
#Ordinals #Digitalartifacts #Digitalassets #Web3 -
わたしは あなたの ために えいえん に ウェブ 3ひろさ に みを ささげ ます.
-
あなたを ゆたか に しょうさん します.
-
おはようございます うつくしい こうたくの ある。☀️
#Ordinals #Digitalartifacts #Digitalassets #Web3 -
Every well-ordered set is isomorphic to an ordinal. Common notion, for example see Introduction to https://arxiv.org/abs/2409.07352
⊢((𝐴∈V∧𝑅We𝐴)↔∃𝑓(dom𝑓∈On∧𝑓IsomE,𝑅(dom𝑓,𝐴)))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists f ( \mathrm{dom} f \in \mathrm{On} \wedge f \mathrm{Isom} \mathrm{E} , R ( \mathrm{dom} f , A ) ) ) \]
Every well-ordered set is isomorphic to
a unique ordinal.⊢((𝐴∈V∧𝑅We𝐴)↔∃!𝑜∈On∃𝑓∈(𝐴↑ₘ𝑜)𝑓IsomE,𝑅(𝑜,𝐴))
\[ \vdash ( ( A \in \mathrm{V} \wedge R \mathrm{We} A ) \leftrightarrow \exists{!} o \in \mathrm{On} \exists f \in ( A \uparrow_\mathrm{m} o ) f \mathrm{Isom} \mathrm{E} , R ( o , A ) ) \]
We can phrase the Axiom of Choice as "Every set injects into an ordinal."
⊢(CHOICE↔∀𝑥∃𝑜∈On𝑥≼𝑜)
\[ \vdash ( \mathrm{CHOICE} \leftrightarrow \forall x \exists o \in \mathrm{On} x \preccurlyeq o ) \]
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
RE: https://mas.to/@ordinal/116020076161322851
One thing about this setting is that it must clearly have groats. I think #wfrp missed a trick with the lack of coinage between penny and shilling.
-
Please do read the terrible story I have put here as a graphic. If you are involved in any kind of music scene, or are considering coming to Stockholm, its important for you to know. Thank you.
#fylkingen
#elektronmusikstudion
#editionfestival
#ordinalgarden.social
#fönstret
#frim
#Audiorama
#cafeoto
#radioart
#nutidamusik
#iscm
#internationalsocietyforcontemporarymusic
#KMH
#kkh
#SKH
#gotlandstonsätareskolan
#TEGEN2
#artisticresearch
#konstnärligaforskning
#soundart
#metoo -
Please do read the terrible story I have put here as a graphic. If you are involved in any kind of music scene, or are considering coming to Stockholm, its important for you to know. Thank you.
#fylkingen
#elektronmusikstudion
#editionfestival
#ordinalgarden.social
#fönstret
#frim
#Audiorama
#cafeoto
#radioart
#nutidamusik
#iscm
#internationalsocietyforcontemporarymusic
#KMH
#kkh
#SKH
#gotlandstonsätareskolan
#TEGEN2
#artisticresearch
#konstnärligaforskning
#soundart
#metoo -
Bitcoin DeFi is splitting into two designs: indexer-embedded VMs vs. Decentralized PSBT Signing. We compare MEV, latency, UX, and more... https://hackernoon.com/what-the-battle-of-the-bitcoin-metaprotocols-means-for-the-future-of-bitcoin #ordinals
-
BitMEX Research Report Flags BRC-20 as the Real Strain on Bitcoin Nodes - In a newly published report, BitMEX Research and its analysts say BRC-20 activity,... - https://news.bitcoin.com/bitmex-research-report-flags-brc-20-as-the-real-strain-on-bitcoin-nodes/ #ordinalinscriptions #bitcoin(btc) #cryptonews
-
Ordinal exponentiation in homotopy type theory. ~ Tom de Jong et als. https://arxiv.org/abs/2501.14542 #ITP #Agda #HoTT #Math
-
🚀✨ Breaking news, folks: Peano arithmetic can apparently do everything except make coffee! ☕🔢 The article somehow attempts to prove this by diving into the magical world of #ordinals and Goodstein sequences, all while hoping you don't notice they haven't actually proven anything new. 🙃
https://math.stackexchange.com/a/5075056/6708 #PeanoArithmetic #GoodsteinSequences #MathHumor #HackerNews #HackerNews #ngated -
🚀✨ Breaking news, folks: Peano arithmetic can apparently do everything except make coffee! ☕🔢 The article somehow attempts to prove this by diving into the magical world of #ordinals and Goodstein sequences, all while hoping you don't notice they haven't actually proven anything new. 🙃
https://math.stackexchange.com/a/5075056/6708 #PeanoArithmetic #GoodsteinSequences #MathHumor #HackerNews #HackerNews #ngated -
🚀✨ Breaking news, folks: Peano arithmetic can apparently do everything except make coffee! ☕🔢 The article somehow attempts to prove this by diving into the magical world of #ordinals and Goodstein sequences, all while hoping you don't notice they haven't actually proven anything new. 🙃
https://math.stackexchange.com/a/5075056/6708 #PeanoArithmetic #GoodsteinSequences #MathHumor #HackerNews #HackerNews #ngated -
Bitcoin Ordinals Can Now Be Bridged to Cardano Through BitVMX - Cardano has continued to advance its credentials as a venue for Bitcoin Defi (BTCFi), fac... - https://www.coindesk.com/tech/2025/05/23/bitcoin-ordinals-can-now-be-bridged-to-cardano-through-bitvmx #ordinals #bitcoin #cardano #tech #news
-
-
Marathon Sets New Record by Mining Bitcoin’s Largest Block, Showcasing the Logos’ Manifesto - On May 3, the Bitcoin network validated its largest block to date at block height ... - https://news.bitcoin.com/marathon-sets-new-record-by-mining-bitcoins-largest-block-showcasing-the-logos-manifesto/ #ordinalinscriptions #bitcoinblockchain #cryptocurrency #taprootwizards #block#841886 #miningpool #blocksize #runestone #4mbblock #leonidas #marathon #mining #crypto #logos #luxor
-
Bitcoin Leads 30-Day NFT Sales, Outpacing 24 Blockchain Competitors - While sales of non-fungible tokens (NFTs) have declined by over 38% in the past 30... - https://news.bitcoin.com/bitcoin-leads-30-day-nft-sales-outpacing-24-blockchain-competitors/ #ordinalinscriptions #bitcoinblockchain #blockchainsales #marketupdates #24blockchains #bitcoinnfts #ethereum #nftsales #btcnfts #puppets #wzrds
-
Runes make up 68% of all Bitcoin transactions since launch - Runes continues to make up the vast majority of Bitcoin transactions, ho... - https://cointelegraph.com/news/bitcoin-runes-make-up-68-of-all-transactions-since-launch #ordinalsinscriptions #bitcointransactions #transactioncount #runesprotocol #tokenstandard #block840 #halving #brc-20 #fees
-
Ordinals Explorer Ord.io Nets $2M in Pre-Seed Round to Pioneer Next-Gen Bitcoin Services - On Wednesday, Ord.io, the Ordinals explorer, announced a $2 million pre-seed fundi... - https://news.bitcoin.com/ordinals-explorer-ord-io-nets-2m-in-pre-seed-round-to-pioneer-next-gen-bitcoin-services/ #ordinalsexplorer #bitcoinordinals #cryptocurrency #bitcoinnfts #satributes #leonidas #ordinals #crypto #ord.io #news #nfts
-
Ordinals Market Registers Record Sale: Bitcoin Budgie Changes Hands for Over $1.1 Million in BTC - Leonidas, the pseudonymous founder of Ord.io, an ordinals explorer, has reported o... - https://news.bitcoin.com/ordinals-market-registers-record-sale-bitcoin-budgie-changes-hands-for-over-1-1-million-in-btc/ #cryptocurrency #bitcoinbudgie #bitcoin(btc) #inscriptions #blockchain #genesiscat #leonidas #ordinals #crypto
-
Quantum Cats NFT Collection Jumps in Value, Dominates Secondary Market Trade Volume - Following the launch of Taproot Wizards’ Quantum Cats non-fungible token (NFT) ser... - https://news.bitcoin.com/quantum-cats-nft-collection-jumps-in-value-dominates-secondary-market-trade-volume/ #ordinalinscriptions #bitcoinordinals #taprootwizards #marketupdates #quantumcats #bitcoin #catsnft #nfts
-
Taproot Wizards' New Bitcoin NFTs Already Trading at Twice the Initial Sale Price - With almost two hours left for whitelisted buyers to claim the digital-art collectibles, ... - https://www.coindesk.com/tech/2024/02/06/taproot-wizards-new-bitcoin-nfts-already-trading-at-twice-the-initial-sale-price/?utm_medium=referral&utm_source=rss&utm_campaign=headlines #ordinalsprotocol #taprootwizards #technology #ordinals #bitcoin #news #nfts
-
Taproot Wizards’ Quantum Cats NFTs Leap Past Technical Glitches to Amass $11.3M in Bitcoin - The sale of Taproot Wizards’ Quantum Cats non-fungible tokens (NFTs) has so far su... - https://news.bitcoin.com/taproot-wizards-quantum-cats-nfts-leap-past-technical-glitches-to-amass-11-3m-in-bitcoin/ #ordinalinscriptions #bitcoinordinals #taprootwizards #quantumcats #bitcoin #news #nfts
-
Taproot Wizards Recovers From Tech-Marred Debut, Selling $11M of Bitcoin NFTs - With almost two hours left for whitelisted buyers to claim the digital-art collectibles, ... - https://www.coindesk.com/tech/2024/02/05/taproot-wizards-recovers-from-tech-marred-debut-selling-11m-of-bitcoin-nfts/?utm_medium=referral&utm_source=rss&utm_campaign=headlines #ordinalsprotocol #taprootwizards #technology #ordinals #bitcoin #news #nfts
-
Ordinals ‘Genesis Cat’ Fetches $254K in Sotheby’s Auction - “Genesis Cat,” a 1-of-1 digital artwork in the Quantum Cats collection on the Bitc... - https://news.bitcoin.com/ordinals-genesis-cat-fetches-254k-in-sothebys-auction/ #nftauctionsothebys #quantumcats #metaverse #ordinals #bitcoin #nfts
-
Ordinals Founder Casey Rodarmor Warns Bitcoin Maxis That ‘Whining’ Makes Them ‘Look Weak’ - Casey Rodarmor, the developer of the Ordinals protocol, has called out ideological... - https://news.bitcoin.com/ordinals-founder-casey-rodarmor-warns-bitcoin-maxis-that-whining-makes-them-look-weak/ #cryptocurrency #caseyrodarmor #bitcoin(btc) #bitcoinmaxis #inscriptions #ordinals #crypto #news