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

    From Mild Shock@janburse@fastmail.fm to sci.logic,sci.physics,comp.lang.prolog on Tue Aug 4 14:42:52 2026
    From Newsgroup: comp.lang.prolog

    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): 115rCo133. 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
    --- Synchronet 3.22a-Linux NewsLink 1.2