Welcome to Jingde Cheng's home page

Links

Lao Tzu:

• Laozi - Wikipedia
  
• Lao Tzu and Tao Te Ching
  

Sun Tzu:

• Sun Tzu - Wikipedia
  
• Sun Tzu The Art of War Site on Modern Strategy and Leadership
  (Largest Sun Tzu The Art of War Site, Community of Readers, Scholars, and Authors)

Go - A 4000 Years Old Chinese Board Game of Territorial Possession:

• CTN: China TianYuan Net
  
• China WeiQi Net
  
• The Intelligent Go Foundation
  
• Japan Computer Go Association
  
• Computer Go Forum
  
• The Nihon Ki-in(Japan Go Association)
  
• AGA (American Go Association)
  
• British Go Association
  
• Romanian Go Center, The World of Weiqi
  
• Singapore Weiqi Association
  
• The Web Go (WeiQi, Baduk) Page Index
  
• Ju Rao's Homepage: WeiQi (Go)
  
• Mysteries of Weiqi - The King's Golden Rules
  
• Harry Fearnle's Main Go
  
• Jasiek's Go (Weiqi, Baduk) Homepage
  
• Yutopian's Go Game Page
  
• IGS Pandanet
  
• Asahi-Igo
  
• World Web Go
  

Great Philosophers, Logicians, and Scientists :

• Aristotle
  
• Euclid of Alexandria
  
• Tsu Ch'ung Chi
  
• Ch'in Chiu-Shao
  
• Yang Hui
  
• Sir Isaac Newton
  
• Gottfried Wilhelm von Leibniz
  
• George Boole
  
• Georg Ferdinand Ludwig Philipp Cantor
  
• Friedrich Ludwig Gottlob Frege
  
• Giuseppe Peano
  
• David Hilbert
  
• The Mathematical Problems of David Hilbert
  
• Ernst Friedrich Ferdinand Zermelo
  
• Bertrand Arthur William Russell
  
• Albert Einstein Online
  
• Wilhelm Ackermann
  
• Alfred Tarski
  
• Alonzo Church
  
• John von Neumann
  
• Kurt Godel
  
• Around Goedel's Theorem
  
• Willard Van Orman Quine
  
• Stephen Cole Kleene
  
• Alan Mathison Turing
  
• The Alan Turing Home Page
  
• Paul Joseph Cohen

Associations :

• ASL: Association for Symbolic Logic
  
• IAAIL: International Association for Artificial Intelligence and Law
  
• IACR: International Association for Cryptologic Research
  
• IRMA: Information Resources Management Association
  
• ISSS: International Society for the System Sciences
  
• IUHPS: International Union of the History and Philosophy of Science
  

Ada - The Language For a Complex World:

• Ada 95 Reference Manual (Ada Home)
  
• Ada 95 Reference Manual (DocAda Light)
  
• Ada 95 Rationale (Hypertext by Laurent Guerby)
  
• Ada 2005 Reference Manual
  
• Annotated Ada 2005 Reference Manual
  
• Why Ada? (by Chuck Engle)
  
• Who's Using Ada? (by Michael B. Feldman)
  
• ACM SIGAda
  
• Ada-Europe
  
• AdaCore
  
• Ada Home
  

References :

• Stanford Encyclopedia of Philosophy
  
• The MacTutor History of Mathematics Archive
  
• Mathematical Logic around the World
  
• Home Page of Multi-Valued Logic
  
• References to Many-Valued Logic from the WWW
  
• Bibliography on Linear Logic
  
• Automated Reasoning
  
• Machine Learning in Games
  
• The Collection of Computer Science Bibliographies
  
• Proramming with Sets
  
• STORM: Who's Who in Software Testing Research