<2019-09-21 Sat> (Christiansen 2013)

<2019-09-20 Fri> (ref: (ROSSBERG 2018))

<2019-08-14 Wed> (Martin-Löf 1994)

<2019-09-23 Mon>

(ref: (Whitehead 1993))

Notes

<2019-02-01 Fri>

(ref: (NO_ITEM_DATA:DBLP:phd)/basesearch/Dolstra06)

<2019-01-13 Sun>

(ref: (Martin-Löf 1982))

<2018-11-15 Thu>

(ref (Mokhov, Mitchell, and Peyton Jones 2018))

<2018-08-13 Mon>

(ref: (Caldarelli and Catanzaro 2012))

https://www.marxists.org/archive/fromm/works/1961/man/ch06.htm

<2018-08-09 Thu>

Marx expressed the aim of socialism with great clarity at the end of the third volume of Capital: “In fact, the realm of freedom does not commence until the point is passed where labor under the compulsion of necessity and of external utility is required. In the very nature of things it lies beyond the sphere of material production in the strict meaning of the term. Just as the savage must wrestle with nature, in order to satisfy his wants, in order to maintain his life and reproduce it, so civilized man has to do it, and he must do it in all forms of society and under all possible modes of production. With his development the realm of natural necessity expands, because his wants increase; but at the same time the forces of production increase, by which these wants are satisfied. The freedom in this field cannot consist of anything else but of the fact that socialized man, the associated producers, regulate their interchange with nature rationally, bring it under their common control, instead of being ruled by it as by some blind power; they accomplish their task with the least expenditure of energy and under conditions most adequate to their human nature and most worthy of it. But it always remains a realm of necessity. Beyond it begins that development of human power, which is its own end, the true realm of freedom, which, however, can flourish only upon that realm of necessity as its basis.”

(ref: (NO_ITEM_DATA:ConstableManuscript)-CONTTO-4)

<2018-08-07 Tue>

2.5 Effectively Computable, Turing Computable, and Subrecur-sive Computation

Systems Brouwer’s notion of computability is not formal and not axiomatic. It is intuitive and corresponds to what is called effective computability . The Church/Turing Thesis claims that all effectively computable functions are computable by Turing machines (or any equivalent formalism, e.g. the untyped λ -calculus). There is no corresponding formalism for Brouwer Computable . However, I believe that this notion can be captured in intuitionistic logics by leaving a Turing complete computation system for the logic open-ended in the sense that new primitive terms and rules of reduction are possible. This method of capturing effective computability may be unique to CTT in the sense that the computation system of CTT is open to being “Brouwer complete” as a logic. We have recently added a primitive notion of general process to formalize distributed systems whose potentially nonterminating computations are not entirely deterministic because they depend on asynchronous message passing over a network which can only be modeled faithfully by allowing

(ref: (Awodey 2013))

<2018-07-26 Thu>

(ref: (Hager, Peterson, and Nilsson, n.d.))

<2018-07-20 Fri>

(ref: (Colón et al. 2017))

<2018-07-05 Thu>

Articulates an inspiring philosophy, vision, and strategy for pursuing radically democratic, cooperative, solidarity-based dual power institutions to undermine (and hopefully replace) the exploitative and oppressive systems we inhabit.

By Ian Thacker (Not yet published)

<2018-04-27 Fri>

Motto: “Perceptual inferences become causal rules”

(ref: (Cheshire and Baker 1999))

<2018-04-24 Tue>

(ref: (Valiant 1984))

<2018-04-18 Wed>

Notes

(Tucker 1978)

Notes

(by Peter Connor 2001)

Notes

(ref: (Pierce et al. 2017))

Notes

(ref: (Hertz and Legris 2012))

(ref: (edited by M. E. Szabo 1969))

(ref: (Dag Prawitz 2006))

(ref: (Nederpelt and Geuvers 2014))

(ref: (Barr 1989))

(ref: (F. William Lawvere 2008))

(ref: (Saunders MacLane 1988))

(ref: (Robert Goldblatt 2006))

(ref: (Girard 2011))

Notes