User contributions for 178.38.119.178
Results for 178.38.119.178 talk block log logs global block log filter log
4 May 2015
- 22:5022:50, 4 May 2015 diff hist +159 No-cloning theorem →Theorem and proof: Smooth out the proof
- 20:5420:54, 4 May 2015 diff hist +219 Talk:Product (category theory) →Uniqueness of products — does the theory really develop in the sequence given in the article?
- 20:4620:46, 4 May 2015 diff hist +53 Talk:Product (category theory) →Uniqueness of products — does the theory really develop in the sequence given in the article?
- 20:4520:45, 4 May 2015 diff hist +427 Talk:Product (category theory) →Uniqueness of products — does the theory really develop in the sequence given in the article?
- 20:3920:39, 4 May 2015 diff hist +211 Talk:Product (category theory) →Examples
- 20:3720:37, 4 May 2015 diff hist +1,298 Talk:Product (category theory) →Uniqueness of products — does the theory really develop in the sequence given in the article?: new section
- 20:1920:19, 4 May 2015 diff hist +8 Product (category theory) →Discussion
- 20:1720:17, 4 May 2015 diff hist +22 Cartesian closed category →Definition
- 20:0220:02, 4 May 2015 diff hist +8 Cartesian closed category →Definition
- 19:5719:57, 4 May 2015 diff hist +134 Substructural type system →Different substructural type systems: Clarifying statement
- 19:4819:48, 4 May 2015 diff hist +86 Structural rule →Common structural rules
- 19:4019:40, 4 May 2015 diff hist −67 Substructural type system →Different substructural type systems
- 19:3519:35, 4 May 2015 diff hist +87 Substructural type system →Different substructural type systems
- 19:3319:33, 4 May 2015 diff hist +29 Substructural type system →Relevant type system
- 19:1319:13, 4 May 2015 diff hist +25 Lambda calculus No edit summary
- 18:4318:43, 4 May 2015 diff hist +119 Substructural type system →Different substructural type systems
- 18:3818:38, 4 May 2015 diff hist +5 Substructural type system No edit summary
- 18:3618:36, 4 May 2015 diff hist +4 Substructural logic No edit summary
- 18:3318:33, 4 May 2015 diff hist +28 Substructural logic No edit summary
- 18:2618:26, 4 May 2015 diff hist −49 Talk:Ansible →Quantum nonlocality and entanglement
- 18:2418:24, 4 May 2015 diff hist +636 Talk:Ansible →Generally, but not universally accepted: new section
- 18:1818:18, 4 May 2015 diff hist +46 Ansible →In reality
- 18:1718:17, 4 May 2015 diff hist +346 Ansible →In reality: Tried to improve the paragraph on entanglement, with mixed results
- 15:1015:10, 4 May 2015 diff hist +3,386 Talk:Ansible →Quantum nonlocality and entanglement: new section
- 15:0715:07, 4 May 2015 diff hist −1,052 Ansible →In reality
- 14:4414:44, 4 May 2015 diff hist +1,220 Talk:Ansible →Relativity and causation: new section
- 14:3514:35, 4 May 2015 diff hist −55 Ansible No edit summary
- 14:2914:29, 4 May 2015 diff hist −7 Ansible →In reality: Correcting relativity statements
- 14:1814:18, 4 May 2015 diff hist +48 Superluminal communication No edit summary
3 May 2015
- 20:3920:39, 3 May 2015 diff hist +65 Dagger compact category →General results
- 20:3520:35, 3 May 2015 diff hist +61 Dagger compact category →General results
- 20:3420:34, 3 May 2015 diff hist +85 Dagger compact category →General results
- 20:2920:29, 3 May 2015 diff hist +2 Dagger compact category →General results
- 20:2820:28, 3 May 2015 diff hist +16 Dagger compact category →Basis
- 20:2420:24, 3 May 2015 diff hist +9 Dagger compact category →General results
- 20:1520:15, 3 May 2015 diff hist −1 Talk:POVM →The assumptions for the very interesting example need more work
- 20:1420:14, 3 May 2015 diff hist −8 Talk:POVM →Polarizers and number of modes in the second half of the very interesting example
- 20:1320:13, 3 May 2015 diff hist +62 Talk:POVM →Polarizers and number of modes in the second half of the very interesting example
- 18:0618:06, 3 May 2015 diff hist −1 POVM →An example: Unambiguous quantum state discrimination
- 18:0018:00, 3 May 2015 diff hist +896 Talk:POVM →The assumptions for the very interesting example need more work
- 17:5717:57, 3 May 2015 diff hist +2,698 Talk:POVM →The assumptions for the very interesting example need more work: new section