Q the Platypus
Member for 3 years, 3 months
49 profile views
Last seen Nov 28 at 13:21
Top Network Posts
- 34 Can proof by contradiction 'fail'?
- 20 The "functions" of untyped lambda calculus are not (set theoretic) functions so what are they?
- 9 How to represent sum/union types in in json schema
- 9 Some confusion about what a function "really is".
- 8 Logical reason why dystopian government controls what people wear?
- 7 Is the set of all topological spaces bigger than the set of all metric space?
- 7 Determine Max queue size with a time nonhomogeneous customer rate.
- View more network posts →