Re: Free software versus software idea patents

From	harrismh777 <harrismh777@charter.net>
Newsgroups	comp.lang.python
Subject	Re: Free software versus software idea patents
References	(7 earlier) <OHlnp.10535$g56.5872@newsfe04.iad> <mailman.121.1302206148.9059.python-list@python.org> <__top.14604$zn.8052@newsfe19.iad> <mailman.209.1302508440.9059.python-list@python.org> <8d9a097d-1160-4131-8bde-65e8e2ff3240@k5g2000yqj.googlegroups.com>
Message-ID	<kqUop.41283$tL6.29664@newsfe03.iad> (permalink)
Date	2011-04-12 03:53 -0500

Show all headers | View raw

rusi wrote:
> ------------------------
> From
> http://www.cse.uconn.edu/~dqg/papers/cie05.pdf
>
> may be of interest (and also other papers of Peter Wegner questioning
> the universality of Turing machines lambda calculus etc)

     This is very interesting indeed.

     see:  http://en.wikipedia.org/wiki/Lambda_calculus

     This block quote below is sited from the above link... and gets at 
my point in a simple way... but the remaining article is worth a read 
too. This goes somewhat beyond the simple single taped Turing machine 
concept. We are not talking about the 'universality' of the machine... 
only that the software running in the machine is 'equivalent' to the 
lambda calculus.
     Software itself (the source symbols specifically) can be argued to 
be nothing more nor less than another form of the symbols themselves 
used in the lambda calculus. In fact, we ought to be able to build an 
interpreter for reading and running lambda notation, or translating pure 
lambda notations into any source lang we desire. Why not?

     see also, for interest only:

     http://lambda-the-ultimate.org/node/1490

=====block quote=====
Lambda calculus and programming languages

As pointed out by Peter Landin's 1965 paper A Correspondence between 
ALGOL 60 and Church's Lambda-notation, sequential procedural programming 
languages can be understood in terms of the lambda calculus, which 
provides the basic mechanisms for procedural abstraction and procedure 
(subprogram) application.

Lambda calculus reifies "functions" and makes them first-class objects, 
which raises implementation complexity when implementing lambda 
calculus. A particular challenge is related to the support of 
higher-order functions, also known as the Funarg problem. Lambda 
calculus is usually implemented using a virtual machine approach. The 
first practical implementation of lambda calculus was provided in 1963 
by Peter Landin, and is known as the SECD machine. Since then, several 
optimized abstract machines for lambda calculus were suggested, such as 
the G-machine[12] and the categorical abstract machine.

The most prominent counterparts to lambda calculus in programming are 
functional programming languages, which essentially implement the 
calculus augmented with some constants and datatypes. Lisp uses a 
variant of lambda notation for defining functions, but only its purely 
functional subset ("Pure Lisp") is really equivalent to lambda calculus.
=====/block quote=====

kind regards,
m harris

Back to comp.lang.python | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Python benefits over Cobra Brendan Simon <Brendan@BrendanSimon.com> - 2011-04-06 14:40 +1000
  Re: Python benefits over Cobra harrismh777 <harrismh777@charter.net> - 2011-04-06 03:03 -0500
    Re: Python benefits over Cobra Chris Angelico <rosuav@gmail.com> - 2011-04-06 18:26 +1000
      Re: Python benefits over Cobra Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-06 12:29 +0000
        Re: Python benefits over Cobra Chris Angelico <rosuav@gmail.com> - 2011-04-06 23:06 +1000
        [OT] Free software versus software idea patents (was: Python benefits over Cobra) Ben Finney <ben+python@benfinney.id.au> - 2011-04-07 07:50 +1000
          Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-07 00:03 -0500
            Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-07 07:19 +0000
              Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-07 11:33 -0500
                Re: [OT] Free software versus software idea patents Mel <mwilson@the-wire.com> - 2011-04-07 17:15 +0000
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-08 05:55 +1000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-10 21:49 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-11 00:53 -0700
                Re: Free software versus software idea patents rusi <rustompmody@gmail.com> - 2011-04-11 01:36 -0700
                Re: Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-12 03:53 -0500
                Re: Free software versus software idea patents Terry Reedy <tjreedy@udel.edu> - 2011-04-12 13:32 -0400
                Re: Free software versus software idea patents Dan Stromberg <drsalists@gmail.com> - 2011-04-12 11:44 -0700
                Re: Free software versus software idea patents Terry Reedy <tjreedy@udel.edu> - 2011-04-12 15:39 -0400
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-11 09:10 +0000
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-11 11:17 -0700
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-11 22:28 +0000
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-11 15:55 -0700
                Re: [even more OT than before] Arithmetic [was Free software versus software idea patents] Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-12 11:34 +0000
                Re: [even more OT than before] Arithmetic [was Free software versus software idea patents] geremy condra <debatem1@gmail.com> - 2011-04-12 11:11 -0700
                Re: [OT] Free software versus software idea patents Ben Finney <ben+python@benfinney.id.au> - 2011-04-12 10:02 +1000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-12 03:15 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-12 09:54 -0700
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-14 00:35 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-13 23:36 -0700
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-14 02:22 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-14 09:51 -0700
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-16 00:21 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-15 23:46 -0700
                Re: [OT] Free software versus software idea patents Algis Kabaila <akabaila@pcug.org.au> - 2011-04-16 21:01 +1000
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-16 23:36 +0000
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-17 10:31 +1000
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-16 18:35 -0700
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-18 01:29 -0500
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-18 00:34 -0700
                Re: [OT] Free software versus software idea patents Terry Reedy <tjreedy@udel.edu> - 2011-04-12 13:43 -0400
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-12 23:56 +0000
                Re: [OT] Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-12 17:05 -0700
          Re: [OT] Free software versus software idea patents (was: Python benefits over Cobra) Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-07 07:39 +0000
            Re: [OT] Free software versus software idea patents (was: Python benefits over Cobra) Chris Angelico <rosuav@gmail.com> - 2011-04-07 18:17 +1000
              Re: Free software versus software idea patents (was: Python benefits over Cobra) flebber <flebber.crue@gmail.com> - 2011-04-07 03:51 -0700
            Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-07 10:31 -0500
              Re: [OT] Free software versus software idea patents Benjamin Kaplan <benjamin.kaplan@case.edu> - 2011-04-07 11:50 -0400
              Re: [OT] Free software versus software idea patents Adam Tauno Williams <awilliam@whitemice.org> - 2011-04-07 13:55 -0400
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-07 14:37 -0500
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-08 01:30 +0000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-08 01:37 -0500
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-09 23:55 +0000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-10 19:04 -0500
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-11 10:18 +1000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-10 20:48 -0500
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-10 21:01 -0700
                Re: [OT] Free software versus software idea patents Ian Kelly <ian.g.kelly@gmail.com> - 2011-04-11 11:26 -0600
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-12 04:22 -0500
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-12 06:59 -0700
                Re: Free software versus software idea patents CM <cmpython@gmail.com> - 2011-04-12 10:48 -0700
                Re: Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-12 11:13 -0700
                Re: Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-12 15:56 -0700
                Re: Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-14 00:50 -0500
                Re: Free software versus software idea patents geremy condra <debatem1@gmail.com> - 2011-04-13 23:38 -0700
                Re: Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-14 02:29 -0500
                Re: Free software versus software idea patents Ethan Furman <ethan@stoneleaf.us> - 2011-04-14 08:42 -0700
                Re: Free software versus software idea patents CM <cmpython@gmail.com> - 2011-04-14 09:48 -0700
                Re: Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-15 23:27 -0500
                Re: [OT] Free software versus software idea patents Ian Kelly <ian.g.kelly@gmail.com> - 2011-04-12 13:37 -0600
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-12 23:45 +0000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-14 01:04 -0500
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-14 19:15 +1000
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-14 14:02 +0000
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-15 00:11 +1000
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-14 13:46 -0700
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-15 02:21 +0000
                Re: [OT] Free software versus software idea patents Roy Smith <roy@panix.com> - 2011-04-14 22:52 -0400
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-14 13:50 -0700
                Re: [OT] Free software versus software idea patents Martin Gregorie <martin@address-in-sig.invalid> - 2011-04-14 21:36 +0000
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-15 08:01 +1000
                Re: [OT] Free software versus software idea patents Martin Gregorie <martin@address-in-sig.invalid> - 2011-04-14 22:13 +0000
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-15 01:51 +0000
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-14 15:23 -0700
                Re: [OT] Free software versus software idea patents Martin Gregorie <martin@address-in-sig.invalid> - 2011-04-14 22:55 +0000
                Re: [OT] Free software versus software idea patents Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-15 02:09 +0000
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-15 12:31 +1000
                Re: [OT] Free software versus software idea patents Roy Smith <roy@panix.com> - 2011-04-14 22:43 -0400
                Re: [OT] Free software versus software idea patents Ethan Furman <ethan@stoneleaf.us> - 2011-04-14 14:20 -0700
                Re: [OT] Free software versus software idea patents Dan Stromberg <drsalists@gmail.com> - 2011-04-15 02:28 -0700
                Re: [OT] Free software versus software idea patents Ian Kelly <ian.g.kelly@gmail.com> - 2011-04-14 10:49 -0600
                Re: [OT] Free software versus software idea patents Dan Stromberg <drsalists@gmail.com> - 2011-04-12 13:51 -0700
                Re: [OT] Free software versus software idea patents Ian Kelly <ian.g.kelly@gmail.com> - 2011-04-12 15:05 -0600
                Re: [OT] Free software versus software idea patents Chris Angelico <rosuav@gmail.com> - 2011-04-12 03:31 +1000
                Re: [OT] Free software versus software idea patents harrismh777 <harrismh777@charter.net> - 2011-04-08 01:41 -0500
                Re: [OT] Free software versus software idea patents Westley Martínez <anikom15@gmail.com> - 2011-04-08 07:14 -0700
                Re: [OT] Free software versus software idea patents Ethan Furman <ethan@stoneleaf.us> - 2011-04-08 09:10 -0700
                Re: [OT] Free software versus software idea patents Bob Martin <bob.martin@excite.com> - 2011-04-09 07:45 +0100
            Re: [OT] Free software versus software idea patents (was: Python benefits over Cobra) Ross Ridge <rridge@csclub.uwaterloo.ca> - 2011-04-07 14:18 -0400
            Re: [OT] Free software versus software idea patents Ben Finney <ben+python@benfinney.id.au> - 2011-04-10 11:53 +1000
            Re: Free software versus software idea patents (was: Python benefits over Cobra) sturlamolden <sturlamolden@yahoo.no> - 2011-04-12 09:04 -0700
      Re: Python benefits over Cobra harrismh777 <harrismh777@charter.net> - 2011-04-07 00:25 -0500
        Re: Python benefits over Cobra Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-04-07 06:43 +0000

csiph-web