Wyniki wyszukiwania:

Many people today are unaware that back in the 1930s, Sir Arthur Eddington, the celebrated astrophysicist, made great strides toward his own "theory of everything." In 1936 and 1946 Eddington's last two books were published. These works are strangely tentative and obscure, unlike his earlier lucid and authoritative works. This volume examines how Eddington came to write these uncharacteristic books--in terms of the physics and history of the day--and what value they have to modern physics. The result is an illuminating description of the development of theoretical physics in the first half of...

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.
Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive...