Ciro Santilli @cirosantilli 37

The only cases where formal proof of theorems seem to have had actual mathematical value is for theorems that require checking a very large number of case, so much so that no human can be fully certain that no mistakes were made. Some examples:

A form is a function from a vector space to elements of the underlying field of the vector space.

Examples:

Riesz-Fischer theorem is a norm version of it, and Carleson's theorem is stronger pointwise almost everywhere version.

Note that the Riesz-Fischer theorem is weaker because the pointwise limit could not exist just according to it: $L^p$ norm sequence convergence does not imply pointwise convergence.

Ah, this seems like a nice dude.

The Eighth Day of Creation has two nice paragraphs about his work. He was shy and quiet, and didn't boast about his slow and steady progress, possibly because of this he only had a junior fellowship and at some point some people wanted to kick him out of the lab somewhere between 1948 - 1952, quoted at: sandwalk.blogspot.com/2013/11/fred-sanger-1918-2013.html

For Ciro Santilli's campaign for freedom of speech in China: Section "github.com/cirosantilli/china-dictatorship".

Ciro has the radical opinion that absolute freedom of speech must be guaranteed by law for anyone to talk about absolutely anything, anonymously if they wish, with the exception only of copyright-related infringement.

And Ciro believes that there should be no age restriction of access to any information.

People should be only be punished for actions that they actually do in the real world. Not even purportedly planning those actions must be punished. Access and ability to publish information must be completely and totally free.

If you don't like someone, you should just block them, or start your own campaign to prepare a counter for whatever it is that they are want to do.

This freedom does not need to apply to citizens and organizations of other countries, only to citizens of the country in question, since foreign governments can create influence campaigns to affect the rights of your citizens. More info at: cirosantilli.com/china-dictatorship/mark-government-controlled-social-media

Limiting foreign influence therefore requires some kind of nationality check, which could harm anonymity. But Ciro believes that almost certainly such checks can be carried out in anonymous blockchain consensus based mechanisms. Governments would issues nationality tokens, and tokens are used for anonymous confirmations of rights in a way that only the token owner, not even the government, can determine who used the token. E.g. something a bit like what Monero does. Rights could be checked on a once per account basis, or yearly basis, so transaction costs should not be a big issue. Maybe expensive proof-of-work systems can be completely bypassed to the existence of this central token authority?

Some people believe that freedom of speech means "freedom of speech that I agree with". Those people should move to China or some other dictatorship.

Related: cirosantilli.com/china-dictatorship/hate-speech

How can you make a translation of the Bible and not put it in the public domain???? You tell me, you tell me.

With Falun Gong it's even more fun: the words of God Himself are will be copyrighted for a while after Li Hongzhi dies!!!

Ciro Santilli's admiration for Dyson goes beyond his "unify all the things approach", which Ciro loves, but also extends to the way he talks and the things he says. Dyson is one of Ciro's favorite physicist.

Besides this, he was also very idealistic compassionate, and supported a peaceful resolution until World War II with United Kingdom was basically inevitable. Note that this was a strategic mistake.

Dyson is "hawk nosed" as mentioned in Genius: Richard Feynman and Modern Physics by James Gleick (1994) chapter "Dyson". But he wasn't when he was young, see e.g. i2.wp.com/www.brainpickings.org/wp-content/uploads/2016/03/freemandyson_child-1.jpg?resize=768%2C1064&ssl=1 It sems that his nose just never stopped growing after puberty.

He also has some fun stories, like him practicing night climbing while at Cambridge University, and having walked from Cambridge to London (~86km!) in a day with his wheelchair bound friend.

Ciro Santilli feels that the label child prodigy applies even more so to him than to Feynman and Julian Schwinger.

Bibliography:

Related projects:

You need those because it is hard to do the following:

This is hard to do notably because when the update happens, several things might need to change on the webpage at the same time.

Notably, new elements might need to be added to the webpage, which in turn means that new bindings such as button clicks have to be added to those, in a way that keeps the page working.

The only way to do this basically is to have a functional dependency graph that keeps everything in the page in working state as updates come.

Open access with solutions: courses.maths.ox.ac.uk/course/view.php?id=4988

Archive: web.archive.org/web/20240402062301/https://courses.maths.ox.ac.uk/course/view.php?id=4988

Lecturer: Luc Nguyen

This is about functions that take functions as input or output.

Set of ordered pairs. That's it! This is illustrated at: math.stackexchange.com/questions/1480651/is-fx-x-1-x-2-a-function/1481099#1481099

Fusion power could be the next big thing.

Most promising approaches as of 2020:

Main section: fusion power.

This is a long haul. But we have to give it a shot.

It is a bit hard to decide if those people are serious or not. Sometimes it feels scammy, but sometimes it feels fun and right!

Particularly concerning is the fact that they are not a not-for-profit entity, and it is hard to understand how they might make money.

Charles Simon, the founder, is pretty focused in how natural neurons work vs artificial neural network models. He has some good explanations of that, and one major focus of the project is their semi open source spiking neuron simulator BrainSimII. While Ciro Santilli believes that there might be insight in that, he also has doubts if certain modules of the brain wouldn't be more suitable coded directly in regular programming languages with greater ease and performance.

FutureAI appears to be Charles' retirement for fun project, he is likely independently wealthy. Well done.