On 12/4/25 11:22 PM, Julio Di Egidio wrote:
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-induced vanity??? 😂😂😂
🤡🌎
Hi,
In the coming age of analog computing,
symbolic logic means nothing:
“The high data-rate sense perception and
identification abilities of the human system
mostly bypass verbal/analytic awareness. We
are generally conscious of a cognitive
recognition after the fact. In this way, what
we understand as consciousness has to be
identified as a reflexive monitoring ability
with quite limited application. To produce
consciousness (artificial or otherwise) we
are stepping down, not up.”
― Frank Herbert, Destination: Void
Bye
On 12/4/2025 11:25 PM, dart200 wrote:
On 12/4/25 11:22 PM, Julio Di Egidio wrote:It is amusing to see an informant go full dictator on the group and puke over mere words on a screen. I would give Julio a 3 on a scale of 10.
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-
induced vanity??? 😂😂😂
🤡🌎
Not bad for a newbie!
Ned got a 10 from me. Good work!
See Nick, I belong to a very minor, obscure and deviant religious Hindu sect. It has been described as regressive and accused of acting out
often in public, as a form of spiritual witnessing.
Often members of my sect carry cell phones and will be seen video taping people's reactions, as a form of public education and individual First Amendment rights.
To that end, they may shout obscenities or make vulgar comments to passersby, in an effort to get attention. It's that simple.
The purpose of this activity is to provoke negative reactions in people
and then post the video onto TikTac for all to see people go berserk
with hatred.
So, as to help them burn up their accrued bad karma and be free of the negative forces, in order to provide the ideal opportunity for feeling
free and liberated.
So, for starters:--
There's no fucking Buddha; it's all about sex. Everything happens for a reason.
Me: LEM is derivable from RAA, in minimal logic.
Prof: LEM is not even derivable from RAA in intuitionistic logic.
Me: You didn’t use RAA as an inference schema!
Prof: Our discussion is about logic and not about Prolog. I apologize.
Hi,
I always admired the French Teaching of Logic.
This silly Philosophy Professor scolded me a couple
of times with this nonsense, playing dumb and deaf,
like a complete idiot:
Me: LEM is derivable from RAA, in minimal logic.
Prof: LEM is not even derivable from RAA in intuitionistic logic.
Me: You didn’t use RAA as an inference schema!
Prof: Our discussion is about logic and not about Prolog. I apologize. https://swi-prolog.discourse.group/t/needing-help-with-call-with-depth-limit-3/7398/78
Still his prover demonstrates LEM from RAA:
?-prove((a | ~a)).
\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot \lnot A$}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot A$}
\RightLabel{\scriptsize{$ \to E $}}
\BinaryInfC{$\bot$}
\RightLabel{\scriptsize{$ IP $} 1}
\UnaryInfC{$A \lor \lnot A$}
\end{prooftree} https://g4-mic.vidal-rosset.net/wasm/tinker#prove((a%20%7C%20~a)).
Please note that RAA = IP, synonymous names.
Reductio Ad Absurdum and Indirect Proof.
LoL
Bye
Mild Shock schrieb:
Hi,
In the coming age of analog computing,
symbolic logic means nothing:
“The high data-rate sense perception and
identification abilities of the human system
mostly bypass verbal/analytic awareness. We
are generally conscious of a cognitive
recognition after the fact. In this way, what
we understand as consciousness has to be
identified as a reflexive monitoring ability
with quite limited application. To produce
consciousness (artificial or otherwise) we
are stepping down, not up.”
― Frank Herbert, Destination: Void
Bye
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
On 12/5/2025 12:18 PM, Dude wrote:
On 12/4/2025 11:25 PM, dart200 wrote:
On 12/4/25 11:22 PM, Julio Di Egidio wrote:It is amusing to see an informant go full dictator on the group and
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-
induced vanity??? 😂😂😂
🤡🌎
puke over mere words on a screen. I would give Julio a 3 on a scale of
10. Not bad for a newbie!
Ned got a 10 from me. Good work!
See Nick, I belong to a very minor, obscure and deviant religious
Hindu sect. It has been described as regressive and accused of acting
out often in public, as a form of spiritual witnessing.
Often members of my sect carry cell phones and will be seen video
taping people's reactions, as a form of public education and
individual First Amendment rights.
To that end, they may shout obscenities or make vulgar comments to
passersby, in an effort to get attention. It's that simple.
The purpose of this activity is to provoke negative reactions in
people and then post the video onto TikTac for all to see people go
berserk with hatred.
So, as to help them burn up their accrued bad karma and be free of the
negative forces, in order to provide the ideal opportunity for feeling
free and liberated.
What you are saying seems anchored in duality https://endless-satsang.com/advaita-nonduality-oneness
So, for starters:
There's no fucking Buddha; it's all about sex. Everything happens for
a reason.
On 12/5/2025 11:08 AM, olcott wrote:
On 12/5/2025 12:18 PM, Dude wrote:Apparently there are no true materialists on this list.
On 12/4/2025 11:25 PM, dart200 wrote:
On 12/4/25 11:22 PM, Julio Di Egidio wrote:It is amusing to see an informant go full dictator on the group and
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-
induced vanity??? 😂😂😂
🤡🌎
puke over mere words on a screen. I would give Julio a 3 on a scale
of 10. Not bad for a newbie!
Ned got a 10 from me. Good work!
See Nick, I belong to a very minor, obscure and deviant religious
Hindu sect. It has been described as regressive and accused of acting
out often in public, as a form of spiritual witnessing.
Often members of my sect carry cell phones and will be seen video
taping people's reactions, as a form of public education and
individual First Amendment rights.
To that end, they may shout obscenities or make vulgar comments to
passersby, in an effort to get attention. It's that simple.
The purpose of this activity is to provoke negative reactions in
people and then post the video onto TikTac for all to see people go
berserk with hatred.
So, as to help them burn up their accrued bad karma and be free of
the negative forces, in order to provide the ideal opportunity for
feeling free and liberated.
What you are saying seems anchored in duality
https://endless-satsang.com/advaita-nonduality-oneness
My position, and the position of most idealistic transcendentalists, is
that we infer, from the fact of being conscious, that consciousness
itself is the ultimate reality.
Because without consciousness, we would not exist.
This is the view of the Consciousness Only school of Tibetan Buddhism.
So, for starters:
There's no fucking Buddha; it's all about sex. Everything happens for
a reason.
On 12/3/2025 11:23 AM, Dude wrote:
On 12/3/2025 8:50 AM, dart200 wrote:
nah ur just willfully ignoring ur bullshit:To the guy that invented the zero: thanks for nothing.
You are starting to sound paranoid. Are you heading into a mid-life
crises? If you think you are, there may be help for you.
Obviously it's a mental condition: Sleepless nights. Nerves. Sudden
outbursts, cursing at inanimate objects. Grouchy. Calling out
strangers in chat rooms. Diminished appetite, except for spicy foods.
You are staring to sound like a hateful bastard
that will be eventually condemned to actual Hell
(if such a place exists).
On 12/3/2025 9:34 AM, olcott wrote:
On 12/3/2025 11:23 AM, Dude wrote:Some people just feel better when they have someone to talk to.
On 12/3/2025 8:50 AM, dart200 wrote:
nah ur just willfully ignoring ur bullshit:To the guy that invented the zero: thanks for nothing.
You are starting to sound paranoid. Are you heading into a mid-life
crises? If you think you are, there may be help for you.
Obviously it's a mental condition: Sleepless nights. Nerves. Sudden
outbursts, cursing at inanimate objects. Grouchy. Calling out
strangers in chat rooms. Diminished appetite, except for spicy foods.
You are staring to sound like a hateful bastard
that will be eventually condemned to actual Hell
(if such a place exists).
On 12/5/2025 4:22 PM, Dude wrote:
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about sex.
One thing leads to another. Everything happens for a reason: causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats the fruit, the other looks on." - Mandukya Up 3.1.1
On 12/5/2025 7:51 PM, Dude wrote:
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about sex.
One thing leads to another. Everything happens for a reason: causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mandukya Up 3.1.1
That does not seems consistent with playing some
of the head games that you say that you play.
That people in boats are being murdered is Satanic
even if Satan is a figure-of-speech.
On 12/5/2025 11:08 AM, olcott wrote:
On 12/5/2025 12:18 PM, Dude wrote:
On 12/4/2025 11:25 PM, dart200 wrote:
On 12/4/25 11:22 PM, Julio Di Egidio wrote:It is amusing to see an informant go full dictator on the group and
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-
induced vanity??? 😂😂😂
🤡🌎
puke over mere words on a screen. I would give Julio a 3 on a scale
of 10. Not bad for a newbie!
Ned got a 10 from me. Good work!
See Nick, I belong to a very minor, obscure
and deviant religious
Apparently there are no true materialists on this list.Hindu sect. It has been described as regressive and accused of acting
out often in public, as a form of spiritual witnessing.
Often members of my sect carry cell phones and will be seen video
taping people's reactions, as a form of public education and
individual First Amendment rights.
To that end, they may shout obscenities or make vulgar comments to
passersby, in an effort to get attention. It's that simple.
The purpose of this activity is to provoke negative reactions in
people and then post the video onto TikTac for all to see people go
berserk with hatred.
So, as to help them burn up their accrued bad karma and be free of
the negative forces, in order to provide the ideal opportunity for
feeling free and liberated.
What you are saying seems anchored in duality
https://endless-satsang.com/advaita-nonduality-oneness
My position, and the position of most idealistic transcendentalists, is
that we infer, from the fact of being conscious, that consciousness
itself is the ultimate reality.
Because without consciousness, we would not exist.
This is the view of the Consciousness Only school of Tibetan Buddhism.--
So, for starters:
There's no fucking Buddha; it's all about sex. Everything happens for
a reason.
On 12/5/25 5:57 PM, olcott wrote:
On 12/5/2025 7:51 PM, Dude wrote:
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about sex.
One thing leads to another. Everything happens for a reason: causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mandukya Up 3.1.1
That does not seems consistent with playing some
of the head games that you say that you play.
That people in boats are being murdered is Satanic
even if Satan is a figure-of-speech.
dude, do i really need to choose between dualism and non-dualism???
both perspectives have their place it's not actually a contradiction
we are all god is all of us
eh????
On 12/5/25 12:14 PM, Dude wrote:
On 12/5/2025 11:08 AM, olcott wrote:
On 12/5/2025 12:18 PM, Dude wrote:
On 12/4/2025 11:25 PM, dart200 wrote:
On 12/4/25 11:22 PM, Julio Di Egidio wrote:It is amusing to see an informant go full dictator on the group and
On 05/12/2025 02:25, Dude wrote:
On 12/3/2025 12:09 PM, dart200 wrote:
hey dude, did u ever get the cancer???Never had cancer, just obsessive-compulsive disorder (OCD) and
attention deficit disorder (ADD) with a mild case of seasonal
allergies, which I self medicate with ephedrine.
Fucking hell, I am gonna puke...
@Thunderbird: please implement global filters!
*PLONK*
Julio
dude, don't u love it when people actually *announce* their self-
induced vanity??? 😂😂😂
🤡🌎
puke over mere words on a screen. I would give Julio a 3 on a scale
of 10. Not bad for a newbie!
Ned got a 10 from me. Good work!
See Nick, I belong to a very minor, obscure
i, however, take no sides and give no quarter
and deviant religious
be "deviant" u mean sex??? like the ancient indian figurines with the
nice boobies? horny ass mf figured out boob jobs would exist millennia before we could do them... nice
Apparently there are no true materialists on this list.Hindu sect. It has been described as regressive and accused of
acting out often in public, as a form of spiritual witnessing.
Often members of my sect carry cell phones and will be seen video
taping people's reactions, as a form of public education and
individual First Amendment rights.
To that end, they may shout obscenities or make vulgar comments to
passersby, in an effort to get attention. It's that simple.
The purpose of this activity is to provoke negative reactions in
people and then post the video onto TikTac for all to see people go
berserk with hatred.
So, as to help them burn up their accrued bad karma and be free of
the negative forces, in order to provide the ideal opportunity for
feeling free and liberated.
What you are saying seems anchored in duality
https://endless-satsang.com/advaita-nonduality-oneness
My position, and the position of most idealistic transcendentalists,
is that we infer, from the fact of being conscious, that consciousness
itself is the ultimate reality.
Because without consciousness, we would not exist.
but also without we, consciousness wouldn't exist, eh???
This is the view of the Consciousness Only school of Tibetan Buddhism.
;
So, for starters:
There's no fucking Buddha; it's all about sex. Everything happens
for a reason.
On 12/5/2025 7:51 PM, Dude wrote:
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about sex.
One thing leads to another. Everything happens for a reason: causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mandukya Up 3.1.1
That does not seems consistent with playing some
of the head games that you say that you play.
That people in boats are being murdered is Sataniceven if Satan is a figure-of-speech.
On 12/5/2025 5:57 PM, olcott wrote:
On 12/5/2025 7:51 PM, Dude wrote:Are you nuts? How did you get in here?
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about sex.
One thing leads to another. Everything happens for a reason: causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mandukya Up 3.1.1
That does not seems consistent with playing some
of the head games that you say that you play.
The US bombed the shit out of German u-boats in international waters inThat people in boats are being murdered is Sataniceven if Satan is a figure-of-speech.
WW II. We blew the bastards out of the water! God damned Nazi Jew haters!
Hit them! Hit them hard!
"Two birds, inseparable companions, perch on the same tree, one eats the fruit, the other looks on." - Mand Up 3.1.1--
On 12/6/2025 12:11 PM, Dude wrote:
On 12/5/2025 5:57 PM, olcott wrote:
On 12/5/2025 7:51 PM, Dude wrote:Are you nuts? How did you get in here?
On 12/5/2025 2:26 PM, olcott wrote:
On 12/5/2025 4:22 PM, Dude wrote:Consciousness is the ultimate reality. There is no Buddha in the
If you are a Mind Only Buddhist you are
Some people just feel better when they have someone to talk to.
doing a terrible job of it.
absolute sense. Duality is an appearance only and it's all about
sex. One thing leads to another. Everything happens for a reason:
causation.
https://en.wikipedia.org/wiki/Yogachara
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mandukya Up 3.1.1
That does not seems consistent with playing some
of the head games that you say that you play.
The US bombed the shit out of German u-boats in international watersThat people in boats are being murdered is Sataniceven if Satan is a figure-of-speech.
in WW II. We blew the bastards out of the water! God damned Nazi Jew
haters!
Hit them! Hit them hard!
The kind of things that you say contradict
themselves. You are not showing any "Mind Only" behavior.
"Two birds, inseparable companions, perch on the same tree, one eats
the fruit, the other looks on." - Mand Up 3.1.1
we are all god is all of us
Hi,
I always admired the French Teaching of Logic.
This silly Philosophy Professor scolded me a couple
of times with this nonsense, playing dumb and deaf,
like a complete idiot:
Me: LEM is derivable from RAA, in minimal logic.
Prof: LEM is not even derivable from RAA in intuitionistic logic.
Me: You didn’t use RAA as an inference schema!
Prof: Our discussion is about logic and not about Prolog. I apologize. https://swi-prolog.discourse.group/t/needing-help-with-call-with-depth-limit-3/7398/78
Still his prover demonstrates LEM from RAA:
?-prove((a | ~a)).
\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot \lnot A$}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot A$}
\RightLabel{\scriptsize{$ \to E $}}
\BinaryInfC{$\bot$}
\RightLabel{\scriptsize{$ IP $} 1}
\UnaryInfC{$A \lor \lnot A$}
\end{prooftree} https://g4-mic.vidal-rosset.net/wasm/tinker#prove((a%20%7C%20~a)).
Please note that RAA = IP, synonymous names.
Reductio Ad Absurdum and Indirect Proof.
LoL
Bye
Mild Shock schrieb:
Hi,
In the coming age of analog computing,
symbolic logic means nothing:
“The high data-rate sense perception and
identification abilities of the human system
mostly bypass verbal/analytic awareness. We
are generally conscious of a cognitive
recognition after the fact. In this way, what
we understand as consciousness has to be
identified as a reflexive monitoring ability
with quite limited application. To produce
consciousness (artificial or otherwise) we
are stepping down, not up.”
― Frank Herbert, Destination: Void
Bye
Hi,
The French Enlightenment (roughly 1700–1789)
produced extraordinary advances in mathematics,
science, and philosophy, but its concept of geometry
was still deeply tied to Euclid, and that limited
what even brilliant thinkers could imagine.
What was Euclid really doing?
https://www.youtube.com/watch?v=M-MgQC6z3VU
Amazingling during the French Engligment the
Parallel Postuale was not yet recognized as
independent. Rather we find:
- Adrien-Marie Legendre (1752–1833)
Repeatedly revised arguments to derive
the parallel postulate
- Joseph-Louis Lagrange (1736–1813)
Gave a lecture trying to derive the parallel
axiom from properties of similar triangles
Bye
Mild Shock schrieb:
Hi,
I always admired the French Teaching of Logic.
This silly Philosophy Professor scolded me a couple
of times with this nonsense, playing dumb and deaf,
like a complete idiot:
Me: LEM is derivable from RAA, in minimal logic.
Prof: LEM is not even derivable from RAA in intuitionistic logic.
Me: You didn’t use RAA as an inference schema!
Prof: Our discussion is about logic and not about Prolog. I apologize.
https://swi-prolog.discourse.group/t/needing-help-with-call-with-depth-limit-3/7398/78
Still his prover demonstrates LEM from RAA:
?-prove((a | ~a)).
\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot \lnot A$}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot A$}
\RightLabel{\scriptsize{$ \to E $}}
\BinaryInfC{$\bot$}
\RightLabel{\scriptsize{$ IP $} 1}
\UnaryInfC{$A \lor \lnot A$}
\end{prooftree}
https://g4-mic.vidal-rosset.net/wasm/tinker#prove((a%20%7C%20~a)).
Please note that RAA = IP, synonymous names.
Reductio Ad Absurdum and Indirect Proof.
LoL
Bye
Mild Shock schrieb:
Hi,
In the coming age of analog computing,
symbolic logic means nothing:
“The high data-rate sense perception and
identification abilities of the human system
mostly bypass verbal/analytic awareness. We
are generally conscious of a cognitive
recognition after the fact. In this way, what
we understand as consciousness has to be
identified as a reflexive monitoring ability
with quite limited application. To produce
consciousness (artificial or otherwise) we
are stepping down, not up.”
― Frank Herbert, Destination: Void
Bye
Hi,
Even Rene Descartes was not aware of the
independence. Descartes’s failure has the same
underlying cause as later ones.
His algebraic setup already assumes Euclidean
geometry. He used geometric intuitions that were
secretly equivalent to Euclid’s axiom. He
lacked the concept of alternate geometries.
What an AI could have done (According to ChatGPT):
(A) Reveal hidden assumptions in every failed proof
An AI could:
- symbolically analyze the proof
- extract all uses of implicit Euclidean intuition
- point out: “This step assumes that similar triangles
can be scaled arbitrarily, which is equivalent to
the parallel postulate.”
That kind of meta-analysis was unavailable to human
mathematicians of the time.
(B) Construct explicit models of non-Euclidean geometries
The big conceptual leap of the 19th century was the ability
to imagine a consistent geometry in which the parallel
postulate is false.
An AI could directly produce:
- the Poincaré disk model
- the hyperboloid model
- the upper half-plane model
and demonstrate that all of Euclid’s axioms (except the
parallel postulate) hold in these spaces.
(C) Clarify the logical structure of axioms
Hilbert’s axiomatization (1899) came very late, but
an AI could produce a clean formal structure centuries earlier:
- incidence axioms
- order axioms
- congruence axioms
- continuity axioms
parallel axiom as a separate toggle
This framework itself would have been revolutionary.
Bye
Disclaimer: Not sure how much of (A), (B) and (C) are
fact or fuction. Don't have Google DeepMind company
badge. See my other post
Subject: Turing-Test to Birch++-Test [Professor Yang-Hui He]
Date: Wed, 10 Dec 2025 14:55:28 +0100
Mild Shock schrieb:
Hi,
The French Enlightenment (roughly 1700–1789)
produced extraordinary advances in mathematics,
science, and philosophy, but its concept of geometry
was still deeply tied to Euclid, and that limited
what even brilliant thinkers could imagine.
What was Euclid really doing?
https://www.youtube.com/watch?v=M-MgQC6z3VU
Amazingling during the French Engligment the
Parallel Postuale was not yet recognized as
independent. Rather we find:
- Adrien-Marie Legendre (1752–1833)
Repeatedly revised arguments to derive
the parallel postulate
- Joseph-Louis Lagrange (1736–1813)
Gave a lecture trying to derive the parallel
axiom from properties of similar triangles
Bye
Mild Shock schrieb:
Hi,
I always admired the French Teaching of Logic.
This silly Philosophy Professor scolded me a couple
of times with this nonsense, playing dumb and deaf,
like a complete idiot:
Me: LEM is derivable from RAA, in minimal logic.
Prof: LEM is not even derivable from RAA in intuitionistic logic.
Me: You didn’t use RAA as an inference schema!
Prof: Our discussion is about logic and not about Prolog. I apologize.
https://swi-prolog.discourse.group/t/needing-help-with-call-with-depth-limit-3/7398/78
Still his prover demonstrates LEM from RAA:
?-prove((a | ~a)).
\begin{prooftree}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot \lnot A$}
\AxiomC{\scriptsize{1}}
\noLine
\UnaryInfC{$ \lnot (A \lor \lnot A)$}
\RightLabel{\scriptsize{$ \lor\to E$}}
\UnaryInfC{$ \lnot A$}
\RightLabel{\scriptsize{$ \to E $}}
\BinaryInfC{$\bot$}
\RightLabel{\scriptsize{$ IP $} 1}
\UnaryInfC{$A \lor \lnot A$}
\end{prooftree}
https://g4-mic.vidal-rosset.net/wasm/tinker#prove((a%20%7C%20~a)).
Please note that RAA = IP, synonymous names.
Reductio Ad Absurdum and Indirect Proof.
LoL
Bye
Mild Shock schrieb:
Hi,
In the coming age of analog computing,
symbolic logic means nothing:
“The high data-rate sense perception and
identification abilities of the human system
mostly bypass verbal/analytic awareness. We
are generally conscious of a cognitive
recognition after the fact. In this way, what
we understand as consciousness has to be
identified as a reflexive monitoring ability
with quite limited application. To produce
consciousness (artificial or otherwise) we
are stepping down, not up.”
― Frank Herbert, Destination: Void
Bye
| Sysop: | DaiTengu |
|---|---|
| Location: | Appleton, WI |
| Users: | 1,090 |
| Nodes: | 10 (0 / 10) |
| Uptime: | 185:41:35 |
| Calls: | 13,923 |
| Files: | 187,024 |
| D/L today: |
645 files (164M bytes) |
| Messages: | 2,456,160 |