WHAT THE HECK???
Constructive Logic is actually an Existential Logic???
Constructive Logic is actually an Existential Logic???
July 15, 2025 at 10:36 PM
WHAT THE HECK???
Constructive Logic is actually an Existential Logic???
Constructive Logic is actually an Existential Logic???
#DavidsMonthOfMusic
#MusicChallenge
#MusicSky
Day 14
a song with hot or cold in the title
the CRAMPS
"[Hot Pool Of] Womanneed"
www.youtube.com/watch?v=eXcm...
#MusicChallenge
#MusicSky
Day 14
a song with hot or cold in the title
the CRAMPS
"[Hot Pool Of] Womanneed"
www.youtube.com/watch?v=eXcm...
[Hot Pool Of] Womanneed
YouTube video by The Cramps - Topic
www.youtube.com
June 15, 2026 at 3:29 AM
#DavidsMonthOfMusic
#MusicChallenge
#MusicSky
Day 14
a song with hot or cold in the title
the CRAMPS
"[Hot Pool Of] Womanneed"
www.youtube.com/watch?v=eXcm...
#MusicChallenge
#MusicSky
Day 14
a song with hot or cold in the title
the CRAMPS
"[Hot Pool Of] Womanneed"
www.youtube.com/watch?v=eXcm...
#Vegan #Budget Smoky Lime Lentils 🌱 Ⓥ
Rinse & soak brown #lentils, sauté cumin seeds in oil; bloom garlic, lime zest, onion, smoked paprika & turmeric. Add lentils + 3x water, simmer till tender. Finish w salt, pepper, butter, lime juice.
#HighProtein #ComfortFood
www.youtube.com/watch?v=EXCM...
Rinse & soak brown #lentils, sauté cumin seeds in oil; bloom garlic, lime zest, onion, smoked paprika & turmeric. Add lentils + 3x water, simmer till tender. Finish w salt, pepper, butter, lime juice.
#HighProtein #ComfortFood
www.youtube.com/watch?v=EXCM...
The First Dish I Teach Any Beginner
YouTube video by Derek Sarno
www.youtube.com
May 16, 2026 at 3:45 AM
#Vegan #Budget Smoky Lime Lentils 🌱 Ⓥ
Rinse & soak brown #lentils, sauté cumin seeds in oil; bloom garlic, lime zest, onion, smoked paprika & turmeric. Add lentils + 3x water, simmer till tender. Finish w salt, pepper, butter, lime juice.
#HighProtein #ComfortFood
www.youtube.com/watch?v=EXCM...
Rinse & soak brown #lentils, sauté cumin seeds in oil; bloom garlic, lime zest, onion, smoked paprika & turmeric. Add lentils + 3x water, simmer till tender. Finish w salt, pepper, butter, lime juice.
#HighProtein #ComfortFood
www.youtube.com/watch?v=EXCM...
Some codes for Archive 2: Stuff I Sang.
This one is three proper songs + three bonus versions. You might loosely describe these a vocal dubstep. You might not. Up to you.
bandcamp.com/yum
3m2e-excm
w8m9-bpsg
pkrz-wfc3
83mu-hals
2d8v-v25d
xfh2-bjnj
h5cd-x65k
q7jc-jy78
9lb4-grqn
zsv4-346e
This one is three proper songs + three bonus versions. You might loosely describe these a vocal dubstep. You might not. Up to you.
bandcamp.com/yum
3m2e-excm
w8m9-bpsg
pkrz-wfc3
83mu-hals
2d8v-v25d
xfh2-bjnj
h5cd-x65k
q7jc-jy78
9lb4-grqn
zsv4-346e
July 13, 2025 at 8:35 AM
Some codes for Archive 2: Stuff I Sang.
This one is three proper songs + three bonus versions. You might loosely describe these a vocal dubstep. You might not. Up to you.
bandcamp.com/yum
3m2e-excm
w8m9-bpsg
pkrz-wfc3
83mu-hals
2d8v-v25d
xfh2-bjnj
h5cd-x65k
q7jc-jy78
9lb4-grqn
zsv4-346e
This one is three proper songs + three bonus versions. You might loosely describe these a vocal dubstep. You might not. Up to you.
bandcamp.com/yum
3m2e-excm
w8m9-bpsg
pkrz-wfc3
83mu-hals
2d8v-v25d
xfh2-bjnj
h5cd-x65k
q7jc-jy78
9lb4-grqn
zsv4-346e
He vuelto de vacaciones y aún no me han dado faena.
¿Debería preguntar a ver si me dan o debería seguir sin dar un palo al agua?
Pregunta seria.
¿Debería preguntar a ver si me dan o debería seguir sin dar un palo al agua?
Pregunta seria.
January 7, 2025 at 11:30 AM
The countries that called session of the UN Security Council have issued a joint statement that condemns Israel’s plan to seize Gaza City, saying that it risks “violating international humanitarian law” & will “only endanger the lives of all civilians in Gaza”.
www.youtube.com/watch?v=Excm...
www.youtube.com/watch?v=Excm...
Britain, Denmark, France, Greece, Slovenia: Israel must ‘reverse’ decision to seize Gaza City
YouTube video by Al Jazeera English
www.youtube.com
August 10, 2025 at 9:10 PM
The countries that called session of the UN Security Council have issued a joint statement that condemns Israel’s plan to seize Gaza City, saying that it risks “violating international humanitarian law” & will “only endanger the lives of all civilians in Gaza”.
www.youtube.com/watch?v=Excm...
www.youtube.com/watch?v=Excm...
The future of intl law depends on the Global South. The US, Canada, Australia, Europe have done little other than exposing Western hypocrisy & double standards when it comes to accountability and justice. But Slovenia, which led this read out, has been the exception www.youtube.com/watch?v=Excm...
Britain, Denmark, France, Greece, Slovenia: Israel must ‘reverse’ decision to seize Gaza City
YouTube video by Al Jazeera English
www.youtube.com
August 11, 2025 at 12:21 AM
The future of intl law depends on the Global South. The US, Canada, Australia, Europe have done little other than exposing Western hypocrisy & double standards when it comes to accountability and justice. But Slovenia, which led this read out, has been the exception www.youtube.com/watch?v=Excm...
The constructive proof of:
eq_para_self_neg : a == !a -> false
Is not trivial.
First, it is a good idea to show that any negative proposition proved under some excluded middle, can be proved without any excluded middle.
Next, you prove `excm(a) -> !(a == !a)` and lift it to `!(a == !a)`.
eq_para_self_neg : a == !a -> false
Is not trivial.
First, it is a good idea to show that any negative proposition proved under some excluded middle, can be proved without any excluded middle.
Next, you prove `excm(a) -> !(a == !a)` and lift it to `!(a == !a)`.
July 15, 2025 at 10:08 PM
The constructive proof of:
eq_para_self_neg : a == !a -> false
Is not trivial.
First, it is a good idea to show that any negative proposition proved under some excluded middle, can be proved without any excluded middle.
Next, you prove `excm(a) -> !(a == !a)` and lift it to `!(a == !a)`.
eq_para_self_neg : a == !a -> false
Is not trivial.
First, it is a good idea to show that any negative proposition proved under some excluded middle, can be proved without any excluded middle.
Next, you prove `excm(a) -> !(a == !a)` and lift it to `!(a == !a)`.
Te había mandado esto, pero estaba tan sobado que lo he puesto en el bluit de arriba
bsky.app/profile/excm...
bsky.app/profile/excm...
Jo! Ponte buena pronto!!
June 26, 2025 at 6:59 AM
Te había mandado esto, pero estaba tan sobado que lo he puesto en el bluit de arriba
bsky.app/profile/excm...
bsky.app/profile/excm...
¡Atención! Hoy, a las 19h, presentamos "El mar de Tánger", del director escénico Francisco Suárez.
Contaremos con el propio autor y, quienes nos introducirán a la lectura de esta novela, Gonzalo Montañosa Peña y el Excm. Miguel Ángel Vargas.
Contaremos con el propio autor y, quienes nos introducirán a la lectura de esta novela, Gonzalo Montañosa Peña y el Excm. Miguel Ángel Vargas.
November 17, 2023 at 9:32 AM
¡Atención! Hoy, a las 19h, presentamos "El mar de Tánger", del director escénico Francisco Suárez.
Contaremos con el propio autor y, quienes nos introducirán a la lectura de esta novela, Gonzalo Montañosa Peña y el Excm. Miguel Ángel Vargas.
Contaremos con el propio autor y, quienes nos introducirán a la lectura de esta novela, Gonzalo Montañosa Peña y el Excm. Miguel Ángel Vargas.
Bueno, yo tengo más "Cuerpo" y él más cerebro, pero me alegro que alguien me saque un parecido y que no sea el Excm Sr Alcalde Carapo. 😂
September 2, 2025 at 11:50 AM
Bueno, yo tengo más "Cuerpo" y él más cerebro, pero me alegro que alguien me saque un parecido y que no sea el Excm Sr Alcalde Carapo. 😂
हरियाणा के पूर्व सीएम ओमप्रकाश चौटाला का निधन, गुरुग्राम मेदांता में ली अंतिम सांस
#OmPrakashChautala #INLD #omshanti #प्रकाशचौटाला #EXCM #opchautala #RIP #medantahospital #sirsa #gurugramcity #haryana
#OmPrakashChautala #INLD #omshanti #प्रकाशचौटाला #EXCM #opchautala #RIP #medantahospital #sirsa #gurugramcity #haryana
December 20, 2024 at 3:14 PM
हरियाणा के पूर्व सीएम ओमप्रकाश चौटाला का निधन, गुरुग्राम मेदांता में ली अंतिम सांस
#OmPrakashChautala #INLD #omshanti #प्रकाशचौटाला #EXCM #opchautala #RIP #medantahospital #sirsa #gurugramcity #haryana
#OmPrakashChautala #INLD #omshanti #प्रकाशचौटाला #EXCM #opchautala #RIP #medantahospital #sirsa #gurugramcity #haryana
Here's a lovely morning song for cooler weather, or at least I think so...
www.youtube.com/watch?v=excM...
www.youtube.com/watch?v=excM...
Kikagaku Moyo - Cardigan Song
House in the Tall Grass - 2016
www.youtube.com
October 24, 2023 at 11:19 AM
Here's a lovely morning song for cooler weather, or at least I think so...
www.youtube.com/watch?v=excM...
www.youtube.com/watch?v=excM...
TORONTO LIVE IRL Evenng Cycling City Streets, Bike Lanes & Laneways May 6, 2025 {14 Celsius). www.youtube.com/watch?v=eXCM...
TORONTO LIVE IRL Evenng Cycling City Streets, Bike Lanes & Laneways May 6, 2025 {14 Celsius)
YouTube video by OUT N ABOUT with Yours Truly LIZZO C
www.youtube.com
May 6, 2025 at 10:57 PM
TORONTO LIVE IRL Evenng Cycling City Streets, Bike Lanes & Laneways May 6, 2025 {14 Celsius). www.youtube.com/watch?v=eXCM...
आंध्र के पूर्व सीएम जगन रेड्डी की गाड़ी
के टायर से कुचला युवक का सिर,सामने आया भयावह वीडियो
#viralvideoシ #viralreelsシ #JaganReddy #EXCM #AndhraPradesh #guntur #EveningNews
के टायर से कुचला युवक का सिर,सामने आया भयावह वीडियो
#viralvideoシ #viralreelsシ #JaganReddy #EXCM #AndhraPradesh #guntur #EveningNews
June 22, 2025 at 10:30 AM
आंध्र के पूर्व सीएम जगन रेड्डी की गाड़ी
के टायर से कुचला युवक का सिर,सामने आया भयावह वीडियो
#viralvideoシ #viralreelsシ #JaganReddy #EXCM #AndhraPradesh #guntur #EveningNews
के टायर से कुचला युवक का सिर,सामने आया भयावह वीडियो
#viralvideoシ #viralreelsシ #JaganReddy #EXCM #AndhraPradesh #guntur #EveningNews
Bulgaria Diaries:
Conferences such as #REM2026 provide opportunities for key discussions on the side lines.
One such was meeting of EXCM members of @IOMP_Official w President of @EFOMP_org
Conferences such as #REM2026 provide opportunities for key discussions on the side lines.
One such was meeting of EXCM members of @IOMP_Official w President of @EFOMP_org
June 12, 2026 at 9:53 AM
Bulgaria Diaries:
Conferences such as #REM2026 provide opportunities for key discussions on the side lines.
One such was meeting of EXCM members of @IOMP_Official w President of @EFOMP_org
Conferences such as #REM2026 provide opportunities for key discussions on the side lines.
One such was meeting of EXCM members of @IOMP_Official w President of @EFOMP_org
Bulgaria Diaries:
As @IOMP_Official EXCM member, had a nice conversation regarding the next World Congress on Medical Physics & Biomedical Engineering in 2028 with @iupesm President Prof. Ratko MAJGAREVIC from Croatia during the REM2026 in Sofia, Bulgaria
As @IOMP_Official EXCM member, had a nice conversation regarding the next World Congress on Medical Physics & Biomedical Engineering in 2028 with @iupesm President Prof. Ratko MAJGAREVIC from Croatia during the REM2026 in Sofia, Bulgaria
June 12, 2026 at 6:39 AM
Bulgaria Diaries:
As @IOMP_Official EXCM member, had a nice conversation regarding the next World Congress on Medical Physics & Biomedical Engineering in 2028 with @iupesm President Prof. Ratko MAJGAREVIC from Croatia during the REM2026 in Sofia, Bulgaria
As @IOMP_Official EXCM member, had a nice conversation regarding the next World Congress on Medical Physics & Biomedical Engineering in 2028 with @iupesm President Prof. Ratko MAJGAREVIC from Croatia during the REM2026 in Sofia, Bulgaria
#Belgium, #Lithuania, #Austria, #Georgia, #France, #Switzerland elected in our new Excm! ! @yferi @pdsutter @kathi_kuch
January 13, 2025 at 12:06 PM
#Belgium, #Lithuania, #Austria, #Georgia, #France, #Switzerland elected in our new Excm! ! @yferi @pdsutter @kathi_kuch
Constructive Logic becomes an Existential Logic.
An Existential Logic is when all propositions e.g. `a` are either `!!a` or `!a`. It's the same as `excm(!a)`.
Existential = The excluded middle of negation
Why does this happens? Due to meta-strength.
An Existential Logic is when all propositions e.g. `a` are either `!!a` or `!a`. It's the same as `excm(!a)`.
Existential = The excluded middle of negation
Why does this happens? Due to meta-strength.
December 11, 2025 at 7:13 AM
Constructive Logic becomes an Existential Logic.
An Existential Logic is when all propositions e.g. `a` are either `!!a` or `!a`. It's the same as `excm(!a)`.
Existential = The excluded middle of negation
Why does this happens? Due to meta-strength.
An Existential Logic is when all propositions e.g. `a` are either `!!a` or `!a`. It's the same as `excm(!a)`.
Existential = The excluded middle of negation
Why does this happens? Due to meta-strength.
I just figured out by experimenting with the new theorem grading feature in the upcoming version of Hooo, that the formalization of Liar's paradox has meta-strength 3:
para_liar : (false^a)^(a^true) & (a^true)^(false^a) & excm(a)^true -> false
Adds an interesting nuance to Liar's paradox.
para_liar : (false^a)^(a^true) & (a^true)^(false^a) & excm(a)^true -> false
Adds an interesting nuance to Liar's paradox.
August 12, 2025 at 7:09 PM
I just figured out by experimenting with the new theorem grading feature in the upcoming version of Hooo, that the formalization of Liar's paradox has meta-strength 3:
para_liar : (false^a)^(a^true) & (a^true)^(false^a) & excm(a)^true -> false
Adds an interesting nuance to Liar's paradox.
para_liar : (false^a)^(a^true) & (a^true)^(false^a) & excm(a)^true -> false
Adds an interesting nuance to Liar's paradox.
Because `excm(!a)` is not provable in Constructive Logic, but it is under HOOO EP, this shows that there are true statements in Constructive Logic that are not provable.
Constructive truth has always been larger than constructive provability. However, previously, we just assumed they were the same.
Constructive truth has always been larger than constructive provability. However, previously, we just assumed they were the same.
July 15, 2025 at 11:20 PM
Because `excm(!a)` is not provable in Constructive Logic, but it is under HOOO EP, this shows that there are true statements in Constructive Logic that are not provable.
Constructive truth has always been larger than constructive provability. However, previously, we just assumed they were the same.
Constructive truth has always been larger than constructive provability. However, previously, we just assumed they were the same.
Here's the expression enum so far:
![#[derive(Eq, PartialEq, Hash, Debug, Clone)]
pub enum Expr {
/// `(a ~~ b) == (~a & ~b & (a == b))`.
QualityDef,
/// `!~a == ~a`.
Sesh,
/// Partial equivalence of quality (symmetry + transitivity).
///
/// Symmetry: `(a ~~ b) -> (b ~~ a)`.
/// Transitivity: `(a ~~ b) & (b ~~ c) -> (a ~~ c)`.
QualityParEquiv,
/// Excluded middle.
Excm,
/// `(~a | ~!a)^true`.
Transcendent,
/// `a ~~ a`.
QA,
/// `b ~~ b`.
QB,
/// `~a`.
QuA,
/// `~b`.
QuB,
/// `!~a`.
NQuA,
/// `!~b`.
NQuB,
/// `~!a`.
QuNA,
/// `~!b`.
QuNB,
/// `a ~~ b`.
QAB,
/// `!(a ~~ b)`.
NQAB,
/// `!(a ~~ a)`.
NQA,
/// `!(b ~~ b)`.
NQB,
/// `a ~~ !a`.
QANA,
/// `!(a ~~ !a)`.
NQANA,
/// `!a ~~ !a`.
QNA,
/// `a | !a`.
OrANA,
/// `~a | !~a`.
OrQuANQuA,
/// `~a | ~!a`.
OrQuAQuNA,
/// `(a ~~ a) | !(a ~~ a)`.
OrQANQA,
/// `(a ~~ a) | (!a ~~ !a)`.
OrQAQNA,
// New expr.
}](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:olippfg4rukwzrkxsdwpd5bc/bafkreic5gjzev7uo3ajeoeilh7gqwhq6akn5xdqxntjjcqvg6bpukz4qke)
July 10, 2025 at 10:30 PM
Here's the expression enum so far:
For example, by using tautological excluded middle for basic facts, one can prove that it is possible to pick out individual basic facts for correction, formally `(a1 & a2 -> b) & excm(a1)^true & excm(a2)^true -> (!b -> !a1 | !a2)`.
January 22, 2025 at 2:06 PM
For example, by using tautological excluded middle for basic facts, one can prove that it is possible to pick out individual basic facts for correction, formally `(a1 & a2 -> b) & excm(a1)^true & excm(a2)^true -> (!b -> !a1 | !a2)`.