Andrew Cooke | Contents | Latest | RSS | Twitter | Previous | Next

C[omp]ute

Welcome to my blog, which was once a mailing list of the same name and is still generated by mail. Please reply via the "comment" links.

Always interested in offers/projects/new ideas. Eclectic experience in fields like: numerical computing; Python web; Java enterprise; functional languages; GPGPU; SQL databases; etc. Based in Santiago, Chile; telecommute worldwide. CV; email.

Personal Projects

Lepl parser for Python.

Colorless Green.

Photography around Santiago.

SVG experiment.

Professional Portfolio

Calibration of seismometers.

Data access via web services.

Cache rewrite.

Extending OpenSSH.

C-ORM: docs, API.

Last 100 entries

[Link] SCP Foundation; [Bike] Lessons From 2 Leading 2 Trailing; [Link] Veg Restaurants in Santiago; [Link] List of Contemporary Latin American Authors; [Bike] FTHR; [Link] Whoa - NSA Reduces Collection (of US Residents); [Link] Red Bull's Breitbart; [Link] Linux Threads; [Link] Punycode; [Link] Bull / Girl Statues on Wall Street; [Link] Beautiful Chair Video; Update: Lower Pressures; [Link] Neat Python Exceptions; [Link] Fix for Windows 10 to Avoid Ads; [Link] Attacks on ZRTP; [Link] UK Jazz Invasion; [Review] Cuba; [Link] Aricle on Gender Reversal of US Presidential Debate; {OpenSuse] Fix for Network Offline in Updater Applet; [Link] Parkinson's Related to Gut Flora; Farellones Bike Park; [Meta] Tags; Update: Second Ride; Schwalbe Thunder Burt 2.1 v Continental X-King 2.4; Mountain Biking in Santiago; Books on Ethics; Security Fail from Command Driven Interface; Everything Old is New Again; Interesting Take on Trump's Lies; Chutney v6; References on Entropy; Amusing "Alexa.." broadcast; The Shame of Chile's Education System; Playing mp4 gifs in Firefox on Opensuses Leap 42.2; Concurrency at Microsoft; Globalisation: Uk -> Chile; OpenSuse 42.2 and Synaptics Touch-Pads; Even; Cherry Jam; Lebanese Writer Amin Maalouf; C++ - it's the language of the future; Learning From Trump; Chinese Writer Hu Fayun; And; Apricot Jam; Also; Excellent Article on USA Politics; Oh Metafilter; Prejudice Against The Rurals; Also, Zizek; Trump; Why Trump Won; Doxygen + Latex on CentOS 6; SMASH - Solve 5 Biggest Problems in Physics; Good article on racism, brexit, and social divides; Grandaddy are back!; Consciousness From Max Entropy; Democrats; Harvard Will Fix Black Poverty; Modelling Bicycle Wheels; Amusing Polling Outlier; If Labour keeps telling working class people...; Populism and Choice; Books on Defeat; Enrique Ferrari - Argentine Author; Transcript of German Scientists on Learning of Hiroshima; Calvert Journal; Owen Jones on Twitter; Possible Japanese Authors; Complex American Literature; Chutney v5; Weird Componentized Virus; Interesting Argentinian Author - Antonio Di Benedetto; Useful Thread on MetaPhysics; RAND on fighting online anarchy (2001); NSA Hacked; Very Good LRB Article on Brexit; Nussbaum on Anger; Tasting; Apple + Kiwi Jam; Hit Me; Sudoku - CSP + Chaos; Recycling Electronics In Santiago; Vector Displays in OpenGL; And Anti-Aliased; OpenGL - Render via Intermediate Texture; And Garmin Connect; Using Garmin Forerunner 230 With Linux; (Beating Dead Horse) StackOverflow; Current State of Justice in China; Axiom of Determinacy; Ewww; Fee Chaos Book; Course on Differential Geometry; Okay, but...; Sparse Matrices, Deep Learning; Sounds Bad; Applebaum Rape; Tomato Chutney v4; Have to add...; Culturally Liberal and Nothing More

© 2006-2017 Andrew Cooke (site) / post authors (content).

Re: [Cute] Goedel's Incompleteness Theorem and the GPL

From: "andrew cooke" <andrew@...>

Date: Sun, 5 Dec 2004 01:20:51 -0300 (CLST)

There's a vaguely related short story by (I believe) Greg Egan, where he
argues (it's a long time since I've read this, so I may be wrong) that
discovering new maths involve a kind of symmetry breaking - before the
maths is discovered there may be more than one solution, but finding one
"fixes" maths in that state (and the other possible solutions become
impossible).  Since maths determines physics, you can alter the way the
world works by carefully choosing what maths you develop.  As I write this
down it seems crazy, but at the time it seemed vaguely credible - and I
think there was also a higher intelligence that observes the way that
maths develops and does its own work as necessary to keep its own
existence possible.

Searching for "Vernon Berryman" turns up this (don't know if you're aware
of this or not) -
http://www.fictionbook.ru/en/author/langford_david/different_kinds_of_darkness/

There's a link from that page to some sample text (no dangerous images).

Cheers,
Andrew

Shae Matijs Erisson said:
> How to apply Gödel's Incompleteness Theorem to everyday life?
> Someone once said to me that the GPL is the licensing system being turned
> against itself.
>
> I've since found an interest in productive applications of Gödel's theorem
> to
> everyday life. Here's a humorous(?) sample: http://tinyurl.com/by2u
>
> Do you know of any deterministic way to find Gödel attacks on systems?
> Are there more 'Klein bottles' for their own systems like the GPL is a
> 'vaccine' or Gödel attack for software licenses?
> --
> Shae Matijs Erisson - http://www.ScannedInAvian.com/ - Sockmonster once
> said:
> You could switch out the unicycles for badgers, and the game would be the
> same.
>
>
> _______________________________________________
> compute mailing list
> compute@...
> https://200.30.199.101/mailman/listinfo/compute
>
>


-- 
` __ _ __ ___  ___| |_____   work web site: http://www.ctio.noao.edu/~andrew
 / _` / _/ _ \/ _ \ / / -_)  personal web site: http://www.acooke.org
 \__,_\__\___/\___/_\_\___|  list: http://www.acooke.org/cute


_______________________________________________
compute mailing list
compute@...
https://200.30.199.101/mailman/listinfo/compute

Comment on this post