#zfc — Public Fediverse posts

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

'Im Mittelpunkt'
#fotoVorschlag #photoSuggestion
#altText #amateurPhotography #architecturalSophistication #functionalEngineering #geometricPatterns #Manchester #ManchesterPhotography #mastodonPhotography #MillenniumBridge #modernEngineering #myPhoto #myWork #Nikon #noAI #no2AI #oc #pedestrianWalkway #photography #pixelfed #Salford #SalfordQuays #streetPhotography #uk #Zfc @photography

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

So we have { 1, 2 } ∈ Fin₁ ⊆ Fin₁ₐ ⊆ Fin₂ ⊆ Fin₃ ⊆ Fin₄ ⊆ Fin₅ ⊆ Fin₆ ⊆ Fin₇

If a set is in Fin₁ then it is considered finite by all the other definitions.

But since the axiom of choice is equivalent to saying every set can be well-ordered, if we accept it VII-finite sets are equinumerous with a finite ordinal and so Fin₇ ⊆ Fin₁ and so the differences between these definitions collapse and ZF becomes ZFC, which is a widely accepted basis for Set Theory.

My consultation with math resources was inspired by a blog post:

https://www.infinitelymore.xyz/p/what-is-the-infinite

#Metamath #ZFC #SetTheory #AxiomOfChoice #FiniteSet #Infinity

Any #mathematics professors want to take a shot at explaining to someone with say a typical math major undergrad background what the deal is with the recent introduction of exacting and ultraexacting cardinals?

#math #maths #settheory #zfc

https://arxiv.org/abs/2411.11568

Chemie-Heimserie gerissen – Meuselwitz gewinnt in Leutzsch

Chemie mutlos – Trübenbach schnürt Doppelpack Zuhause sind die Chemiker mittlerweile nach drei Heimsiegen eine Macht, so dachte…
#Leipzig #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #AdrianAlipour #AndyTrübenbach #BSG #Chemie #ChemieLeipzig #Georg-MartinLeopold #Germany #leipzig #MDR #Regionalliga #Sachsen #SpiO #SportimOsten #ZFC #ZFCMeuselwitz
https://www.europesays.com/de/561157/

Nikonの人気カメラがめじるしアクセサリーになってガシャポンに登場！「Nikon Z fc」や「COOLPIX S3700」など全10種を収録！
https://hobby.dengeki.com/news/2781895/

#hobby_dengeki #カプセルトイ #バンダイベンダー事業部 #めじるしアクセサリー #Nikon #Zfc #D5500 #COOLPIX #35Ti #28Ti

HFC beendet Durststrecke und besiegt Meuselwitz

Halle mit leichtem Chancenplus Den Spielern des Halleschen FC merkte man die Anspannung an, in der Offensive ging…
#Halle #Saale #HalleSaale #Deutschland #Deutsch #DE #Schlagzeilen #Headlines #Nachrichten #News #Europe #Europa #EU #Halle(Saale) #Fußball #Georg-MartinLeopold #Germany #HallescherFC #HFC #MDR #Regionalliga #RobertSchröder #Sachsen-Anhalt #SpiO #SportimOsten #ZFC #ZFCMeuselwitz
https://www.europesays.com/de/473800/

#AmazonPrime #amazon #NintendoDirect #マストドン水槽部 #マストドン写真部 #skeb #pixiv #BRZ #zfc #nikon #subaru #マストドン旅行部 #イラスト #ubuntu #マストドン温泉部 #東方project #初音ミク #にじさんじ #ホロライブ #hololive #nijisanji #楽天 #プリキュア #一次創作 #VTuber #ニンテンドーダイレクト #二次創作 #Xbox #photography #RSSfeed #地震 #埼玉県 #press
他にフォローするおすすめタグってなんかあるんだろうか？好みの問題だろうけど。
でもｘと違ってフォローだけでTLが全く変わるわ。

使いやすくするためにいくつかハッシュタグを輸入登録した。とりまこれからいくつか派生させようかな。
#AmazonPrime #amazon #NintendoDirect #マストドン水槽部 #マストドン写真部 #skeb #pixiv #BRZ #zfc #nikon #subaru #マストドン旅行部 #イラスト #ubuntu #マストドン温泉部 #東方project #初音ミク #にじさんじ #ホロライブ #hololive #nijisanji #楽天 #プリキュア #一次創作 #VTuber #ニンテンドーダイレクト #二次創作 #Xbox #photography #RSSfeed

Not been getting out to photograph much this last year. Need to change that so was glad just to get out and make these photos yesterday in Bridgwater in Somerset. #nikon #photography #zfc #Somerset #bridgwater

#thelema #magick #folklore #mysticism #photography #guitars #Japan #JapaneseCulture #JapaneseReligion #Yokai #anime #ReligiousStudies #tattoo #OrdoTempliOrientis #OTO #EGC #Enochian #Nikon #Z6ii #Zfc #Nikkormat #Bronica #SQAi #Yashicamat #BelieveInFilm #Fender #Stratocaster #Telecaster #Baritone #Epiphone #LesPaul #IndigenousRights #VerdeValleySchool #ArmedLiberal #SmashPatriarchy #NoNazis #BLM #Antifa

#thelema #magick #folklore #mysticism #photography #guitars #Japan #JapaneseCulture #JapaneseReligion #Yokai #anime #ReligiousStudies #tattoo #OrdoTempliOrientis #OTO #EGC #Enochian #Nikon #Z6ii #Zfc #Nikkormat #Bronica #SQAi #Yashicamat #BelieveInFilm #Fender #Stratocaster #Telecaster #Baritone #Epiphone #LesPaul #IndigenousRights #VerdeValleySchool #ArmedLiberal #SmashPatriarchy #NoNazis #BLM #Antifa

#thelema #magick #folklore #mysticism #photography #guitars #Japan #JapaneseCulture #JapaneseReligion #Yokai #anime #ReligiousStudies #tattoo #OrdoTempliOrientis #OTO #EGC #Enochian #Nikon #Z6ii #Zfc #Nikkormat #Bronica #SQAi #Yashicamat #BelieveInFilm #Fender #Stratocaster #Telecaster #Baritone #Epiphone #LesPaul #IndigenousRights #VerdeValleySchool #ArmedLiberal #SmashPatriarchy #NoNazis #BLM #Antifa

#thelema #magick #folklore #mysticism #photography #guitars #Japan #JapaneseCulture #JapaneseReligion #Yokai #anime #ReligiousStudies #tattoo #OrdoTempliOrientis #OTO #EGC #Enochian #Nikon #Z6ii #Zfc #Nikkormat #Bronica #SQAi #Yashicamat #BelieveInFilm #Fender #Stratocaster #Telecaster #Baritone #Epiphone #LesPaul #IndigenousRights #VerdeValleySchool #ArmedLiberal #SmashPatriarchy #NoNazis #BLM #Antifa

#thelema #magick #folklore #mysticism #photography #guitars #Japan #JapaneseCulture #JapaneseReligion #Yokai #anime #ReligiousStudies #tattoo #OrdoTempliOrientis #OTO #EGC #Enochian #Nikon #Z6ii #Zfc #Nikkormat #Bronica #SQAi #Yashicamat #BelieveInFilm #Fender #Stratocaster #Telecaster #Baritone #Epiphone #LesPaul #IndigenousRights #VerdeValleySchool #ArmedLiberal #SmashPatriarchy #NoNazis #BLM #Antifa

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5

It seems one can represent ZFC (or any other logic or type system) as Lean 3's GADT. Note that binder very elegantly represented as HOAS. Am I first who discovered this? #types.pl #plt #lean #lean3 #gadt #zfc #hoas

https://lobste.rs/s/11k4ri/how_should_i_read_type_system_notation#c_rtpme5

Dear #lazyweb, I’m falling in love for the #Nikon #zfc but I can’t decide. I do have a Nikon camera (D7000 if you have seen my pictures) and it’s not going away, and I have both a 18-50 and 50-200. So my questions in the poll :) I appreciate any help, and please comment for your rationale and experience! I like the black edition but I can’t help thinking the silver is more peculiar, but I don’t like the kit 16-50 in silver… so I’m a bit oriented to get silver + 28 + adapter #photocamera