A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943])

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic, sci.physics, comp.lang.prolog
Subject	A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943])
Date	2026-08-04 14:42 +0200
Message-ID	<114smoc$uils$1@solani.org> (permalink)
References	(3 earlier) <10gjsij$t6es$2@solani.org> <10gjsu5$t6s1$1@solani.org> <10gn3hj$114kh$2@solani.org> <10gn3j7$114kh$3@solani.org> <10gn3ko$114kh$4@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw

Hi,

How it started:

The Applied Pi Calculus: Mobile Values,
New Names, and Secure Communication
Martín Abadi et al. - Google Brain
https://arxiv.org/abs/1609.03003

How its going:

Dynamic Control Flow in
Large-Scale Machine Learning
Martín Abadi et al. - Google Brain
https://research.google/pubs/dynamic-control-flow-in-large-scale-machine-learning/

Have Fun!

Bye

Mild Shock schrieb:
> Hi,
> 
> You might also try this here:
> 
> McCulloch, Warren S.; Pitts, Walter (1943-12-01).
> "A logical calculus of the ideas immanent in
> nervous activity". The Bulletin of Mathematical
> Biophysics. 5 (4): 115–133.
> https://www.cs.cmu.edu/~epxing/Class/10715/reading/McCulloch.and.Pitts.pdf
> 
> It has a simple neuron model, and shows
> for example in Figure 1. How it can act
> in a Boolean algebra way.
> 
> If you have Booean algebra, you can also
> build finite state machine. You can encode
> state as bit vectors.
> 
> Bye

Back to sci.logic | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

A Case for Impurity: The Applied Pi Calculus (Was: A logical calculus in nervous activity [McCulloch & Pitts 1943]) Mild Shock <janburse@fastmail.fm> - 2026-08-04 14:42 +0200
  The Sandcastle of Paul Taraus Interactors (Was: A Case for Impurity: The Applied Pi Calculus) Mild Shock <janburse@fastmail.fm> - 2026-08-04 15:06 +0200

csiph-web