gauge higher order categorical logic, category theory gives a syntax-independent view of the fundamental structures of logic, and opens up new kinds of models and interpretations.

New Structures for Physics - Page 936 - Google Books Result

https://books.google.com/books?isbn=3642128203

Bob Coecke - 2010 - ‎Computers

Lambek, J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge University ... Mallios, A.: Modern Differential Geometry in Gauge Theories, vol 1: ...

 

 

 

New Structures for Physics - 第 4 頁 - Google 圖書結果

https://books.google.com.hk/books?isbn=3642128203 - 翻譯這個網頁

Bob Coecke - 2010 - ‎Computers

For logicians: category theory gives a syntax-independent view of the fundamental structures of logic, and opens up new kinds of models and interpretations.

, 才會把Weyl 規範理論中的相因
子推廣到李群中的元素,


和楊振寧教授漫談: 數學和物理的關係 - 中研院數學研究所

w3.math.sinica.edu.tw/math_media/d212/21202.pdf

• 頁庫存檔
• 類似內容

楊–密爾斯規範場和楊–巴克斯特方程, 成為. 80年代以來一系列 ... 背景淹沒在形式邏輯的海洋之中, 使人摸不. 著頭腦。 .... 數的複雜的高階微分方程: −h. 2 ¨ψ = Hψ. (2).