Hi,
Geoffrey E. Hinton, the Nobel Prize winner
for AI. He was already beating the drums
for ReLU in 2010:
HRectified Linear Units Improve Restricted Boltzmann Machines
Geoffrey E. Hinton & Vinod Nair - 2010 https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
Because ANNs (Artificial Neural Networks) were originally
designed with other functions, e.g. with Logistic function:
An artificial neuron is a mathematical function conceived
as a model of a biological neuron in a neural network. https://en.wikipedia.org/wiki/Artificial_neuron
If you populate additive factor graphs with log P,
you basically get multiplicative factor graphs.
So an ANN can express belief networks, right?
Bye
P.S.: What is all the hype about Causal AI, and
the Ladder of Causation |a la Judea Pearl?
Causal AI rCo the next gen AI
Prof. Sotirios A. Tsaftaris - 2025 https://www.youtube.com/watch?v=IelslFzdsYw
Hi,
Geoffrey E. Hinton, the Nobel Prize winner
for AI. He was already beating the drums
for ReLU in 2010:
HRectified Linear Units Improve Restricted Boltzmann Machines
Geoffrey E. Hinton & Vinod Nair - 2010 https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
Because ANNs (Artificial Neural Networks) were originally
designed with other functions, e.g. with Logistic function:
An artificial neuron is a mathematical function conceived
as a model of a biological neuron in a neural network. https://en.wikipedia.org/wiki/Artificial_neuron
If you populate additive factor graphs with log P,
you basically get multiplicative factor graphs.
So an ANN can express belief networks, right?
Bye
P.S.: What is all the hype about Causal AI, and
the Ladder of Causation |a la Judea Pearl?
Causal AI rCo the next gen AI
Prof. Sotirios A. Tsaftaris - 2025 https://www.youtube.com/watch?v=IelslFzdsYw
Hi,
Large Reasoning Models (LRM) seem to move from
Foundation of Mathematics (FOM) to Theoretical
Computer Science (TCS). FOM typically gives
you "white science" mathematics, with sets and
infinity, if you are lucky a little recursion
theory. Fun fact TCS is even more "white".
Interesting paper in as far:
Lean Meets Theoretical Computer Science:
Scalable Synthesis of Theorem Proving Challenges
in Formal-Informal Pairs
Terry Jingchen Zhang et. al. - 2025
https://arxiv.org/abs/2508.15878v1
One swallow does not make a summer?
But its probably a necessary step. The above
paper using Busy Beaver and Interger Constraints
as examples. What logical frameworks do even
apply, is it enough to have a "total function"
theory layer, or does TCS need more. TCS can
be heavy on all sort of discrete and
non-discrete mathematics.
Bye
Mild Shock schrieb:
Hi,
Geoffrey E. Hinton, the Nobel Prize winner
for AI. He was already beating the drums
for ReLU in 2010:
HRectified Linear Units Improve Restricted Boltzmann Machines
Geoffrey E. Hinton & Vinod Nair - 2010 https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
Because ANNs (Artificial Neural Networks) were originally
designed with other functions, e.g. with Logistic function:
An artificial neuron is a mathematical function conceived
as a model of a biological neuron in a neural network. https://en.wikipedia.org/wiki/Artificial_neuron
If you populate additive factor graphs with log P,
you basically get multiplicative factor graphs.
So an ANN can express belief networks, right?
Bye
P.S.: What is all the hype about Causal AI, and
the Ladder of Causation |a la Judea Pearl?
Causal AI rCo the next gen AI
Prof. Sotirios A. Tsaftaris - 2025 https://www.youtube.com/watch?v=IelslFzdsYw
On 02/27/2026 01:33 AM, Mild Shock wrote:
Hi,
Large Reasoning Models (LRM) seem to move from
Foundation of Mathematics (FOM) to Theoretical
Computer Science (TCS). FOM typically gives
you "white science" mathematics, with sets and
infinity, if you are lucky a little recursion
theory. Fun fact TCS is even more "white".
Interesting paper in as far:
Lean Meets Theoretical Computer Science:
Scalable Synthesis of Theorem Proving Challenges
in Formal-Informal Pairs
Terry Jingchen Zhang et. al. - 2025
https://arxiv.org/abs/2508.15878v1
One swallow does not make a summer?
But its probably a necessary step. The above
paper using Busy Beaver and Interger Constraints
as examples. What logical frameworks do even
apply, is it enough to have a "total function"
theory layer, or does TCS need more. TCS can
be heavy on all sort of discrete and
non-discrete mathematics.
Bye
Mild Shock schrieb:
Hi,
Geoffrey E. Hinton, the Nobel Prize winner
for AI. He was already beating the drums
for ReLU in 2010:
HRectified Linear Units Improve Restricted Boltzmann Machines
Geoffrey E. Hinton & Vinod Nair - 2010
https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
Because ANNs (Artificial Neural Networks) were originally
designed with other functions, e.g. with Logistic function:
An artificial neuron is a mathematical function conceived
as a model of a biological neuron in a neural network.
https://en.wikipedia.org/wiki/Artificial_neuron
If you populate additive factor graphs with log P,
you basically get multiplicative factor graphs.
So an ANN can express belief networks, right?
Bye
P.S.: What is all the hype about Causal AI, and
the Ladder of Causation |a la Judea Pearl?
Causal AI rCo the next gen AI
Prof. Sotirios A. Tsaftaris - 2025
https://www.youtube.com/watch?v=IelslFzdsYw
"Old-wrapped-as-new" combined with "reinventing-the-wrong".
It's either equi-interpretable with the rest of mathematics
like model theory is equi-interpretable with proof theory,
or it's not.
Why don't you go "auto" yourself into perfect agreement,
pretty yourself up in the mirror. That Microsoft's "Lean"
has a weasel-word in its language, about which its presence
can be used to derive ready contradictions.
I don't get what you mean by "white". You mean like
the "ivory tower"? See I thought "set theory" was
kind of inclusive ethnically by bringing in "Aleph"
numbers, while though Greek, Latin, and Hebrew are
all kind of Mediterranean, that generally being
considered "olive". Of course the usual digits
are Arabic (or rather, Indic). wa shi chur li u
and so on.
Otherwise I think what you got there is
"jealousy lime".
How about "non-standard" mathematics, then.
Anyways "descriptive set theory" after "set theory:
a theory of one relation" is pretty usual.
That said there are other theories of one relation,
like class theory or ordering theory about class/set
distinction and cardinal/ordinal distinction and
part/particle distinction and so on, and the primary
objects in geometry and number theory aren't exactly
each other without infinite completions and super-classical
reasoning and careful book-keeping of relations of rates
of resources in mathematics, then about arithmetic and
algebra and analysis their calculi, given function theory
and topology then an operator calculus about that.
So, a "heno-theory" rather results then for a "mono-heno-theory".
It's sort of like the story of Differential Geometry, "DG".
"Hi DG, what's happenin'." "Well you know classical continuous
functions, with no infinite asymptotes." "Sure, why not."
"Well we've found a restriction of those to where there's also
no zero tangents and thusly derived a bunch of results that
basically we stole from Gregory but mostly Coates yet among
others that it results a bunch of closed forms of analytical
expressions in terms of these functions about immersions and
submersions in differential geometry." "Wow, fantastic, DG,
that's a usual set of results in those DG-functions." "Oh,
no, we restricted the comprehension that it's a restriction
of comprehension, and claim those are classical continuous
functions now about that thusly that's the definition of
function." "Well, DG, I guess all you have to do is re-write
all the curriculum in the world and blot out the rest and
claim yourself king."
What results isn't quite all "mathematics", ...,
yet both your monitors as one screen agree.
How about "Mizar".
It's like when Modi visited the Knesset the other day and reeled off a
bunch of diplomatic platitudes then mentioned "The Gazans have been mistreated terribly and that's wrong." Then the news spin was a bunch of
Fudd Bibi with "I have friends who eat curry." FB-functions.
Ross Finlayson wrote:
It's like when Modi visited the Knesset the other day and reeled off a
bunch of diplomatic platitudes then mentioned "The Gazans have been
mistreated terribly and that's wrong." Then the news spin was a bunch of
Fudd Bibi with "I have friends who eat curry." FB-functions.
nonsense, the khazar goys are from India, that's where they are coming
from, first the Great Russia, then the shit europe
On 02/27/2026 01:48 PM, Beauford Barzetti wrote:
Ross Finlayson wrote:There's quite a big difference among Hindus among those who swipe the
It's like when Modi visited the Knesset the other day and reeled off a
bunch of diplomatic platitudes then mentioned "The Gazans have been
mistreated terribly and that's wrong." Then the news spin was a bunch
of Fudd Bibi with "I have friends who eat curry." FB-functions.
nonsense, the khazar goys are from India, that's where they are coming
from, first the Great Russia, then the shit europe
three fingers horizontally, or vertically.
Ross Finlayson wrote:
On 02/27/2026 01:48 PM, Beauford Barzetti wrote:
Ross Finlayson wrote:There's quite a big difference among Hindus among those who swipe the
It's like when Modi visited the Knesset the other day and reeled off a >>>> bunch of diplomatic platitudes then mentioned "The Gazans have been
mistreated terribly and that's wrong." Then the news spin was a bunch
of Fudd Bibi with "I have friends who eat curry." FB-functions.
nonsense, the khazar goys are from India, that's where they are coming
from, first the Great Russia, then the shit europe
three fingers horizontally, or vertically.
hmm, that must be the european harsh colder climate, painting their hair yellow, but they are of Indian originate, also known as indo-european, not european.
hmm, that must be the european harsh colder climate, painting theirNo, it's actually more "nice" and "mean",
hair yellow, but they are of Indian originate, also known as
indo-european, not european.
though I forget which is which and don't presume to judge character.
Ross Finlayson wrote:
hmm, that must be the european harsh colder climate, painting theirNo, it's actually more "nice" and "mean",
hair yellow, but they are of Indian originate, also known as
indo-european, not european.
though I forget which is which and don't presume to judge character.
what the hell is talking about this wanker, never heard of indo-european.
The khazar goys wannabe jews are blacks from india invading europe,
shitting without toilet paper as we speak. That's a written old tradition.
Hi,
Large Reasoning Models (LRM) seem to move from
Foundation of Mathematics (FOM) to Theoretical
Computer Science (TCS). FOM typically gives
you "white science" mathematics, with sets and
infinity, if you are lucky a little recursion
theory. Fun fact TCS is even more "white".
Interesting paper in as far:
Lean Meets Theoretical Computer Science:
Scalable Synthesis of Theorem Proving Challenges
in Formal-Informal Pairs
Terry Jingchen Zhang et. al. - 2025
https://arxiv.org/abs/2508.15878v1
One swallow does not make a summer?
But its probably a necessary step. The above
paper using Busy Beaver and Interger Constraints
as examples. What logical frameworks do even
apply, is it enough to have a "total function"
theory layer, or does TCS need more. TCS can
be heavy on all sort of discrete and
non-discrete mathematics.
Bye
Mild Shock schrieb:
Hi,
Geoffrey E. Hinton, the Nobel Prize winner
for AI. He was already beating the drums
for ReLU in 2010:
HRectified Linear Units Improve Restricted Boltzmann Machines
Geoffrey E. Hinton & Vinod Nair - 2010 https://www.cs.toronto.edu/~fritz/absps/reluICML.pdf
Because ANNs (Artificial Neural Networks) were originally
designed with other functions, e.g. with Logistic function:
An artificial neuron is a mathematical function conceived
as a model of a biological neuron in a neural network. https://en.wikipedia.org/wiki/Artificial_neuron
If you populate additive factor graphs with log P,
you basically get multiplicative factor graphs.
So an ANN can express belief networks, right?
Bye
P.S.: What is all the hype about Causal AI, and
the Ladder of Causation |a la Judea Pearl?
Causal AI rCo the next gen AI
Prof. Sotirios A. Tsaftaris - 2025 https://www.youtube.com/watch?v=IelslFzdsYw
| Sysop: | Amessyroom |
|---|---|
| Location: | Fayetteville, NC |
| Users: | 59 |
| Nodes: | 6 (1 / 5) |
| Uptime: | 16:18:13 |
| Calls: | 810 |
| Calls today: | 1 |
| Files: | 1,287 |
| D/L today: |
10 files (21,017K bytes) |
| Messages: | 193,384 |