(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<h1>Chenkai Wang</h1>
+
<h1>
 +
Chenkai Wang
 +
</h1>
  
<p>Welcome to my RHEA page! Feel free to browse and ask!</p>
+
<p>
 +
Welcome to my RHEA page! Feel free to browse and ask!
 +
</p>
  
<h2>Topics</h2>
+
<h2>
 +
Topics
 +
</h2>
  
<p>1. First Order Logic</p>
+
<ol>
<p>2. Axiomatic Set Theory</p>
+
<li>[[Independence_of_Axioms_of_Propositional_Logic|Independence of Axioms of Propositional Logic]]</li>
 +
</ol>
 +
 
 +
<h2>
 +
To be sorted
 +
</h2>
 +
 
 +
<ol>
 +
<li>[[First Order Logic|First_Order_Logic]]</li>
 +
<li>[[Axiomatic Set Theory|Axiomatic_Set_Theory]]</li>
 +
<li>[[Equivalences of Well-ordered Relation|Equivalences of Well-ordered Relation]]</li>
 +
</ol>
 +
 
 +
----

Latest revision as of 06:03, 5 September 2013

Chenkai Wang

Welcome to my RHEA page! Feel free to browse and ask!

Topics

  1. Independence of Axioms of Propositional Logic

To be sorted

  1. First_Order_Logic
  2. Axiomatic_Set_Theory
  3. Equivalences of Well-ordered Relation

Alumni Liaison

Ph.D. 2007, working on developing cool imaging technologies for digital cameras, camera phones, and video surveillance cameras.

Buyue Zhang