User contributions for Patcail

A user with 18 edits. Account created on 14 April 2025.
Jump to navigation Jump to search
Search for contributionsExpandCollapse
⧼contribs-top⧽
⧼contribs-date⧽

20 April 2025

  • 07:0707:07, 20 April 2025 diff hist +47 User:PatcailNo edit summary current
  • 07:0507:05, 20 April 2025 diff hist +3,952 N HOLCreated page with "'''HOL''' known as '''Higher Order Lambda''', is a language that combines [https://en.wikipedia.org/wiki/Higher-order_logic higher order logic] with [https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus typed lambda calculus]. The goal is to be extremely powerful model of mathematics and computation while being extremely well-defined. == Objects and Syntax == There are two types of objects: '''terms''' and '''types'''. Let's start with the types first: in BNF th..." current
  • 06:1706:17, 20 April 2025 diff hist +102 SE calculusNo edit summary current
  • 03:0303:03, 20 April 2025 diff hist +29 User:PatcailNo edit summary
  • 03:0303:03, 20 April 2025 diff hist +2,808 N SE calculusCreated page with "'''SE Calculus''' is a modification of regular SKI combinator calculus to make it much more powerful; as powerful as set theory itself. It removes the K and I combinators and added the new '''E''' combinator. On the surface, we wish to define: Ewxyz = y if x == y, and Ewxyz = z otherwise However, the true definition is much more sophisticated as the naive definition is paradoxical: what does it mean for combinator equality? And moreover, th..."

16 April 2025

15 April 2025

  • 06:2906:29, 15 April 2025 diff hist +1 m User:PatcailNo edit summary
  • 06:2906:29, 15 April 2025 diff hist +13 User:PatcailNo edit summary
  • 06:2706:27, 15 April 2025 diff hist +3,518 N RayofuckCreated page with "'''Rayofuck''' is an extension of brainfuck that adds a new set-theoretic [https://en.wikipedia.org/wiki/Rayo%27s_number Rayo's function]. This function is extremely fast growing that it outgrows all [https://en.wikipedia.org/wiki/Busy_beaver Busy beaver numbers], oracle busy beaver numbers, hyperarithmetic busy beavers, and so on. == Definition == + Increment the cell pointer value (unbounded) - Attempt to decrement the cell pointer value (lower bounded by 0) <..."
  • 05:5205:52, 15 April 2025 diff hist +68 N User:PatcailCreated page with "Models of computation I am looking at (hypercomputation): Σ∞"

14 April 2025