Abundant Michael: Math

Risk, Asteroid, micromorts and the zeitgeist

I think that most people don't understand risks and probability and can either over or under react to news stories about risk. The recent anouncement of a an Asteroid Impact Risk in USA Causes New Zealand Real Estate Boom


Real Estate prices in parts of New Zealand are reaching atmospheric highs after authorities announced that the risk of Asteroid 1997 XF11 hitting Earth close to New York State on 28 October 2028. What if the risk was 1100:1? Would you seek shelter in another country?

 

This wikipedia article on micromorts  has a nice list of equally risky behavior and just breathing the pollution in a big city like NYC for 2 days is one micromort so living there for 120 days or 4 months is 60 micromorts just from the air. Let alone other risk factors such as traffic. The asteroid is currently rated at 1 in 1100 in 16 years time so that is approx 60 micromorts (1000000 / 1100 / 16).


I think the other factor going on here is a cultural zeitgeist that knows that the US Empire is in serious decline and there is a likelihood of several dangers in the US. The government-industrial-media complex's Matrix of control is falling apart and people know (at least on the subconscious level) that they are at risk from high inflation, great depression 2.0, food shortages, rising crime, police state/martial law, reduction/elimination of privacy, rising sea levels covering coastal cities.

When is a proof not a proof?

 

(To the tune of "As time goes by" from Casablanca)

You must remember this

A proof is not a proof

A conjecture is not a conjecture

The fundamental things apply

As pure math goes by

 

The late William Thurston helped bring about  “The Death of Proof” (Scientific American Blog). You might say that there is a lot of math that can be proved, and maybe if if can't be proved, its not math!

 

Experimental Math JournalThat is true and it depends what you mean by "proved". In Godel's theory most of math can not be formally proved in systems that do not contain contradictions themselves... so are those proofs valid? We act as though they are... And how is this different from physics where it is all conjecture based on experimental evidence and if a new set of experiments comes along that break the old theory we bring in new ones. There is a school of experimental math that works a similar way using computer programs to both create experimental data and to do formal proofs of the conjectures. They even have a journal about experimental math now, so it is getting quiet popular.

 

Prof Doron Zeilberger in his provocative essay says that proving by computer programming gives more understanding than proving by hand

 

Some of the experiments in math even become art

Math resources on the web

When I studied math there wasn't much about it on the internet. You had to go to a college for classes and to the library to read textbooks and papers. Now there are all kinds of math resources online. I think this lessens the need for universities and academic journals. When people can share and solve problems online, publish papers on their blog or arXiv and even put textbooks online then knowledge is liberated!

 

Here are some math resources that I have found useful and interesting:

  • Math articles and ebooks
  • Shared problem solving and archive of solved problems
    • Math Overflow (for serious students and researchers) 
    • math.stackexchange.com (for everyone).
    • there are other stack exchanges for statistics, physics, Spanish and 80 more areas
  • Math papers
  • Math blogs and personal websites
    • Tim Gowers  -
    • Terence Tao - great discussion of topics, open problems and career advice
    • Tom Körner - learning guides, lecture notes and more
    • Vicky Neale - who blogged for everyone of her lectures with background notes and problems
    • Vi Hart - super fun math videos and math music
  • Course materials
    • Cambridge - Pure math example sheets, lecture notes
    • MIT - math lecture notes and example sheets. Some are full OCW Scholar courses that are designed for independent learners who have few additional resources available to them. These courses include exam solution notes, online study groups, video and simulations.
    • Open University - OpenLearn free course materials on pure, applied and statistics
    • Udacity - free video lectures, online tests and learning community mainly related to applied, applicable and computer science topics.
    • Free math video and audio courses
    • Indian professors' free video lectures along with Lecture Notes and references  (Select "Mathematics" from the list of courses available).
    • Kahn Academy - online courses, videos and interactive problems/tests
  • Books
    • Princeton Companion to Mathematics - an encyclopedic overview of pure math and some theorical physics with chapters on proof, many areas of math and biographies of famous mathematicians.

BlogCFC was created by Raymond Camden. This blog is running version 5.9.8.012.