John Pilger on Julian Assange

Assange is not allowed to fraternise. Well, fraternity is overrated, if you ask me. At least his animal rights aren't being abused just so that half-wits can give him bullshit theology lectures.

Aristotle on The Continuum

Here's an interesting lecture on philosophical problems with modern mathematics. What kind of world is it where all mathematics students aren't shown the construction of the Stern-Brocot Tree and its connection with Continued fractions and Farey sequences?

The problem, as Aristotle pointed out quite clearly over a couple of thousand years ago, is that we shouldn't expect to be able to prove anything about a whole from logically prior parts. That's not how logic works. See On Indivisible Lines: page one:

Aristotle wrote something once, somewhere, which was something along the lines of:

What is it that pluralises the one and makes it many?

And his answer was something along the lines of:

That which pluralises the one and makes it many is error and the nature of error.

So, if you want a sound logical basis for mathematics, maybe look at Gauss' error function, and a co-construction of some sort of abstract space and its dual, for example, a normed vector space, whose dual is some sort of Fourier transform, and look for way of building in the steps of that construction by encoding computations into elements of the space. If such computations include iterative proof searches, for example, then you could still hope to produce a coherent whole without needing to know in advance all such questions such as "Is the Riemann hypothesis true", or "Is PA2 consistent". This is what I tried to express here: On Tarski's Definition of Truth "Convention-T". For further discussion, see this post: Logic, in particular this brief note on constructivism, intuitionism and foundations which was the result of an attempt to engage someone in a rational discussion on this subject. The attempt was a failure, I hardly need to add, ...

I will add that I once actually programmed such a construction as described above using the "Higher Order Functors" in Moscow ML. I do not have any copy of the code, however. I suspect that there quite a few copies around, because I distributed multiple USB memory sticks containing backups of all my work in mid April 2011. See Catholic Church and 2009 Coup D'Etat in Honduras. I suspect the Mormons of having had as much to do with this as any others. See Abuse Helplines Used to Cover Up Abuse and The Mormons, the FBI, the CIA and Soviet Spies. See also Whitney Webb on US Government Ties to Organised Crime and then you will understand why Justice is so elusive in today's world: see Lori on the Fake Economy.

The idea of starting at a whole and deriving constructions as a process of synthesizing it from elements produced by dividing the whole is inherent in Islamic geometry. See this post: Geometry in Islamic Art, in particular, this video, from 43 seconds:

Lori on the Fake Economy

It's really sad. The same happens with demonstrations. I saw a demonstration here last night, with a few dozen people demonstrating against Evo Morales and the burning of forests. See 2009 Coup D'Etat in Honduras in Bolivia. I can think of half a dozen groups here who might have thought this was something worth faking, including Evo and Alvaro. Because of this, no popular protest is meaningful anymore. We have to find another way. I think it should be through law and the justice system, but this is problematic too. It's really fucking depressing, to be honest.

See also Who Owns The Revolution? and wonder about the CIA and the Vatican, ...

Makes me wonder whether this isn't a metaphor God made for us: Notre Dame Fire Released 440 tonnes of Lead into the Atmosphere about the dangers of burning toxic waste, ... Yes, I'm talking about the Cathars. From Montségur:

In the Middle Ages the Montségur region was ruled by the Counts of Toulouse, the Viscounts of Carcassonne and finally the Counts of Foix. In 1243–44, the Cathars (a religious sect considered heretical by the Catholic Church) who had sought refuge at the Montségur fortress were besieged by 10,000 troops, in what is now known as the siege of Montségur. In March 1244, the Cathars finally surrendered and approximately 244 were burned en masse in a bonfire at the foot of the pog when they refused to renounce their faith. Some 25 took the ultimate Cathar vow of consolamentum perfecti in the two weeks before the final surrender. The Inquisitors kept faithful accounts and included the names of many, who are remembered every year on the anniversary of the massacre on March 16. These names are also displayed at the museum in the village of Montsegur.

Ask Alexander Grothendieck or Elizabeth Devereaux-Rochester, see: Orwell in Burma and Robert I Watson, ... Now just look at the first 2 and a half minutes of this: ...

This is a fucking madhouse! Am I really the only person on earth who wants to  actually do something about the underlying problem? See Why is Telecommunications Security Important?

Karen Lloyd on More Weird Microorganisms

Bacteria that run on low power (1x10^-21 Watts) and do weird stuff. For example, one that breathes in Uranium and another that excretes rocket fuel!

What this video is really about is how disastrous the public funding models are for fundamental scientific research. See also 40 Billion Tons of Living Organisms Thousands of Years Old.

One way to deal with this problem is to allow scientists to use on-line tools to design complementary research programs. This would work by seeking out vertical dependency loops in the scientific deductions that could be made in different fields, as well as practical or experimental horizontal dependencies which link fields of research by their common requirements for experimental conditions. One example might be geologists exploring sub-sea rock formations, and biologists like Lloyd studying subterranean marine microorganisms. Both would be linked horizontally by the need to have access to undersea drilling apparatus. An example of vertical integration would be people looking for ways to treat nuclear waste, who would be interested in results about bacteria that consume radiation. If funding were decided by a process of optimising the global development of science as a whole, and if funding bodies all cooperated, then much better decisions could be made from the global perspective. See On Connecting People for some ideas about how we could construct systems to help with this optimization process.

Pythagoras' Theorem and Dijkstra's Banker's Algorithm

This proof, at 10 minutes, may be the "bloody marvellous" one Edsger Dijkstra mentioned. The reason I suspect this is that Google seem to have rigged the blog post search on blogger.com to not find "Dijkstra's" or "Banker's". See Teaching Men how to Bank and The Foundation (Part II) which includes a link to Dijkstra's Proof of The Banker's Algorithm.

On the observations at 14 minutes 33 seconds, see:

And on limits of Fibonacci sums at 2 minutes 42 seconds in this video:

Now listen to this description of a Babylonian clay tablet which is thought to be around 3,800 years old. At 11 minutes 49 seconds note how the vertical side of the triangle is unity. Note also the theorem of Euclid which relates the mean proportional of two numbers to the perpendicular height of the right-angled triangle lying in the semi-circle. For some reason, blogger won't let me post this youtube link inline: https://youtu.be/L24GzTaOll0 but here's a snapshot:

Now watch this video and note the connections between decimal and sexagesimal arithmetic which turn up in the Pisano relation, and howLagrange was interested in these when he came to study dynamics and stability of the Solar System.

Now note the proof of Pythagoras' at 1 minute 53 seconds which takes 4 copies of a right triangle and rearranges them like this:

And then, see the exercise at 15 minutes 51 seconds which shows this:

Now look at 9 minutes 30 seconds of this video, on the irrationality of the Golden mean:

Now check out theorems about the squares of primes: for example, that they are all of the form 24n+1.

Then look up this 2100 year old Greek calculating machine found in a shipwreck in the early 1900s, ... Note the numbers of teeth on the gears, ... 10 minutes 13 seconds, ... and how they were used to synthesize intervals as portions of one year.

Now look at this way of synthesizing intervals using Fourier series

But it goes on to connect to ideas about uncountability and computability too. For example, check this cute theorem in the N+1=N video at 23 minutes 30 seconds, then listen to Jade on Cantor's proof of the uncountability of the reals

That should give you a bunch of interesting ideas to think about in regard to these questions: John H. Conway on Weird Programming Languages.

 To Be Continued, ...

2020 Native American Presidential Candidate Mark Charles

If every Native American supports him then without any other support at all, Mark Charles' name would be on the ballot in all fifty states, .... and then the fun will begin! For example, he could probably persuade Scott Ritter to run as Vice President, ... and with a kick-ass land reform and agricultural development programme he could get the upport of a large part of the rural population, see IPCC Nonsense, ... As they say "Just do it!"

For some ideas on how to establish trust relationships, and how other people try to undermine them, see Some People Around Here Are Deluding Themselves.

More Trump Administration Incompetence

Over 160 million dollars of farm bailouts went to city slickers. That much money could have started a programme to develop an agricultural land and water supply restoration programme and a new sustainable basis for the US economy. See IPCC Nonsense.

See Donald Trump's Business Acumen Applied to Agriculture and Allegations of General Electric US$38 Billion Accounting Fraud.