+2
On Wed, Apr 17, 2013 at 11:40 PM, Steve Smith sasm...@swcp.com wrote:
A spontaneous Haiku inspired by a pithy friend's analysis of our
discussion:
*The Halting Problem**
**Pretty Girl; Cocktail Party**
**Knowing when to sto**p*
I don't think the beautiful woman would accept go
Thinking along the lines of Moore's law, extrapolating it backwards. I
love stories that are told across cosmological time scales:
http://www.technologyreview.com/view/513781/moores-law-and-the-origin-of-life/
--
*Doug Roberts
d...@parrot-farm.net*
Oh, and I forgot to mention: it solves Fermi's paradox as well.
On Thu, Apr 18, 2013 at 6:36 AM, Douglas Roberts d...@parrot-farm.netwrote:
Thinking along the lines of Moore's law, extrapolating it backwards. I
love stories that are told across cosmological time scales:
Another result (the unsolvability of the halting problem) may be
interpreted as implying the impossibility of constructing a program for
determining whether or not an arbitrary given program is free of 'loops'.
Martin Davis, Computability and Unsolvability, 1958
--Joe
On 4/17/13 10:43
I was suggesting the contributors to this chat could go read the
Wikipedia article to give them something useful to say to the beautiful
woman about the halting problem. (Not to be taken to imply that none of
the readers if this are beautiful women, only some of the readers..)
Joe
On
The full article: http://arxiv.org/abs/1304.3381
On Thu, Apr 18, 2013 at 6:43 AM, Douglas Roberts d...@parrot-farm.netwrote:
Oh, and I forgot to mention: it solves Fermi's paradox as well.
On Thu, Apr 18, 2013 at 6:36 AM, Douglas Roberts d...@parrot-farm.netwrote:
Thinking along the lines
On 4/18/13 7:57 AM, Joseph Spinden wrote:
Another result (the unsolvability of the halting problem) may be
interpreted as implying the impossibility of constructing a program
for determining whether or not an arbitrary given program is free of
'loops'.
Well, compilers can't reason about all
Joseph Spinden wrote at 04/17/2013 07:21 PM:
Owen is right that there are N! ways to map a set of N objects 1-1, onto
another set of N objects. The first object can go to 1 of N objects, the
next to 1 of N-1, etc. That's pretty standard.
Well, saying there are N! maps is different from saying
And I am trying to get folks here to confront the problem of putting in
their own words things they think are obvious for other folks for whom these
things are not obvious.
-Original Message-
From: Friam [mailto:friam-boun...@redfish.com] On Behalf Of Joseph Spinden
Sent: Thursday, April
Marcus G. Daniels wrote at 04/17/2013 10:51 PM:
There's a question of why a set must be mixed in the first place. With
some restructuring it may be possible to treat homogeneous sets (or even
compresses the set into a prototype and count), rather than treating
individuals in an independent
Life Before Earth is definitely a fun, if not fascinating or correct,
extrapolation.
Isn't there a theory that indeed very hardy critters (foolhardy? :) could
survive space travel and end up here in a blaze of light?
Apparently we've some evidence of this in deep sea volcanos.
-- Owen
On
The potential ability for bacteria spores to remain viable for millions of
years in cold, icy environments is discussed at length in the full paper.
--Doug
On Thu, Apr 18, 2013 at 10:19 AM, Owen Densmore o...@backspaces.net wrote:
Life Before Earth is definitely a fun, if not fascinating or
Douglas Roberts wrote at 04/18/2013 05:36 AM:
Thinking along the lines of Moore's law, extrapolating it backwards. I
love stories that are told across cosmological time scales:
http://www.technologyreview.com/view/513781/moores-law-and-the-origin-of-life/
We have to give credit where it's
A (the only?) downside to not reading every FRIAM post. Sorry for the dupe.
--Doug
On Thu, Apr 18, 2013 at 10:26 AM, glen e. p. ropella
g...@tempusdictum.comwrote:
Douglas Roberts wrote at 04/18/2013 05:36 AM:
Thinking along the lines of Moore's law, extrapolating it backwards. I
love
So, based on our conversation of maps between computing and philosophy,
I stumbled upon this book, which looks fun:
The Words of Mathematics: An Etymological Dictionary of Mathematical
Terms Used in English
Steven Schwartzman
This is probably a dupe, too, but http://www.thegovlab.org/ has a new
website and Steven B Johnson recommends watching the #govlab hashtag for
the next few days.
-- rec --
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30
Owen wrote -
At times your discourse tends to be as specialized as any techy's, I think.
Nick replies -- Well, then call me on it! There is nothing that drives me
wilder - in myself or others than pretentious bafflegab. The problem
becomes more difficult when one is talking to a
On 4/18/13 10:16 AM, glen wrote:
When you pick up a rock and use it as a hammer, what is the satisfied
predicate? It's certainly not hammer(x), because rocks are usually
nothing like hammers.
An object with high mass and volume, low acceleration vs. low mass, low
volume, and high acceleration?
That's exactly my point, of course. Reduction from requirements to
physics is rarely logically abstracted. In other words, while you and I
may be interested in some of the physical properties of hammers and
rocks (namely, the ones that facilitate crushing), someone like Andy
Warhol might be
Doug - who you calling a Dupe?
I came close to responding to Roger's original but was too busy
generating abstruse circular arguments to explain how recursion and
iterations are duals and picking on Owen for being able to refer
beautiful (but intelligent mind you) women at off to Wikipedia
On 4/18/13 12:19 PM, glen wrote:
If you logically abstract the physics engine, you can swap it out, at
will (in principle, anyway), replace a coarse one with a finer one or
one that implements an entirely different physics.
Even though we _speculate_ that this can be done in principle, how
Marcus G. Daniels wrote at 04/18/2013 11:39 AM:
Well, I've done this before on a real problem using a monadic interface
of Bullet physics to Haskell.
Nice. Is it open? Or lost in some well of secrecy somewhere?
The increasingly irrelevant point was that
choosing strong or weak typing in a
But it sounds like it is out of your price range, at least for now. The
author (nor the
publisherhttp://www.antipope.org/charlie/blog-static/2009/03/reminder-why-theres-no-tipjar.html)
gets no money from you checking the book out of the library, so what are
they losing from you pirating the book?
On 4/18/13 1:05 PM, glen wrote:
Marcus G. Daniels wrote at 04/18/2013 11:39 AM:
Well, I've done this before on a real problem using a monadic interface
of Bullet physics to Haskell.
Nice. Is it open? Or lost in some well of secrecy somewhere?
Um, err, it was a SC11 demo, so it's been shown,
From an author's perspective:
1. By downloading a pirated copy, you lower the number of books a library will
purchase which does cost the author.
2. Having a permanent copy has some value over a library book for many people.
Ed
__
Ed Angel
Founding Director, Art, Research, Technology
I too have had to build an ethics, so to speak.
Books: For quite a while, I simply downloaded books to see if I wanted to
buy them. I deleted the download and purchased the book if I liked the
download. Also download books if I have the paper version.
EBooks: Similar. Then came the problem of
It seems that the complexity of organisms would grow more quickly than
exponential growth when the complexity is low and les quickly as the complexity
increases. Here's my analysis. Let us say that an animal of complexity level 1
evolves to complexity level 2 is T years. How long will the
Owen,
As you know, I've never had any real objection to your position and I agree as
to the lack of a reasonable modern distribution system. I do get upset when the
conversation approaches the I think the price is too high so I'm justified in
making an illegal copy.
Ed
__
Ed Angel
What about independent researchers not associated with a library
system trying to browse academic papers (funded by taxpayers) held
behind academic journal paywalls for $35/copy?
-S
--- -. . ..-. .. ... - .-- --- ..-. .. ...
stephen.gue...@redfish.com
1600 Lena St #D1, Santa Fe,
Agreed: http://en.wikipedia.org/wiki/Aaron_Swartz
Although I've found:
- The recent revolution by scholars against paper tyranny hopeful
- Many authors are posting their papers on their websites
The ACM was one of the worst, making the Turing Awards for-pay
On Thu, Apr 18, 2013 at 3:21 PM,
So... my first reaction to any exponential curve like this is to ask
(somewhat akin to Kennison's commentary) whether there is good reason to
assume exponential or geometric growth over an evolving system or set of
systems?
S curves are common in biological and other systems with both
31 matches
Mail list logo