FOM: good news: serious physicists believe that intuitionistic logic is important for physics

[Vladik Kreinovich]

Dear Friends, 

For those who like intuitionistic logic and related research, you may want to 
read a new popular book by Lee Smolin, one of the world leading specialists in 
quantum gravity (i.e., quantization of space-time), called "Three rodas to 
Quantum Gravity". 

He strongly believes that this logic - and a more general topos approach - are 
of great physical importance to quantum gravity. 

Not only he believes in it, he cites papers by himself and other physicists 
where these logical ideas have been transformed into working physical theories.

He also emphasizes that the success in physics will eventually lead to a 
successful application of these logics to human decision making, economics etc. 
(Usually, when an idea is used in physics, it is researched over and over 
again, and as a result, in many cases, social sciences have advanced when they 
adapted well-developed formalisms from physics). 

Vladik