Michael Cavallo programming is a surprisingly post modern activity. church’s untyped lambda calculus, which introduced Lambda – an anonymous function / variable thing – Is so flexible that you can make true=false without a blink. in fact that flexibility is required for us to be able to type freely right now. But it’s restricted in a safe “type” called TEXT. church’s typed calculus. with types, you get some predetermined truths because they are programmed in at a deep level but that’s different from determinate.

Michael Cavallo
programming is a surprisingly post modern activity.

church’s untyped lambda calculus, which introduced Lambda – an anonymous function / variable thing – Is so flexible that you can make true=false without a blink.

in fact that flexibility is required for us to be able to type freely right now.

But it’s restricted in a safe “type” called TEXT.

church’s typed calculus.

with types, you get some predetermined truths because they are programmed in at a deep level

but that’s different from determinate.

 

Michael Cavallo we can CREATE axioms and follow them.

that is our choice

Michael Cavallo
now, it’s easy to name Feyerabend and stop thinking critically about it.

But Feyerabend worked and battled with Imre Lakatos.

Lakatos had a very similar notion as Feyerabend but more middle road – a scientific anarchism rather than Feyerabend’s.

Lakatos and Popper both introduced the notion of “scientific community” and it is there that you see one of the benefits.

 

https://en.m.wikipedia.org/wiki/Scientific_community_metaphor

Michael Cavallo

Lakatos also introduced the notion of Research program.

 

 

https://en.m.wikipedia.org/wiki/Research_program

Leave a comment

Your email address will not be published. Required fields are marked *


+ 7 = eight

Leave a Reply