Search found 6 matches

by Slereah
Sat Jan 05, 2008 4:08 am UTC
Forum: Computer Science
Topic: Abstraction elimination
Replies: 0
Views: 2156

Abstraction elimination

I am currently trying to write stuff (yes, stuff) in a sort-of lazy Unlambda. To make things easier, I wrote a small abstraction elimination program (The Abstractor, informally), here included : http://membres.lycos.fr/bewulf/Russell/AE6.py Most functions (I think the ones withoutn lambdas in them) ...
by Slereah
Tue Dec 25, 2007 8:29 pm UTC
Forum: Computer Science
Topic: Pred. function, lambda calculus
Replies: 3
Views: 3054

Re: Pred. function, lambda calculus

Well, that would explain it. Thanks.
by Slereah
Mon Dec 24, 2007 12:07 am UTC
Forum: Computer Science
Topic: Pred. function, lambda calculus
Replies: 3
Views: 3054

Pred. function, lambda calculus

I tried some Lambda expressions, and got this. I also tried without changing the variables name (the ij ones), but I didn't get anywhere good. Can someone tell me what I'm doing wrong?

Image
by Slereah
Wed Oct 10, 2007 6:45 pm UTC
Forum: Mathematics
Topic: Favorite Mathematical Equation
Replies: 87
Views: 21707

Re: Favorite Mathematical Equation

I like the Meredith axiom. ((((p->q) -> (~r->~s)) -> r) -> t) -> ((t->p) -> (s->p)) You can derive any true formula with this axiom, substitution and modus ponens (well, at least in the context of classical propositional logic). And it just might be the shortest way to do it!
by Slereah
Wed Sep 19, 2007 8:17 pm UTC
Forum: Mathematics
Topic: Basic/Self-Evident Truth in Mathematics
Replies: 53
Views: 11984

Also NBG set theory, which introduces the concept of a proper class thus avoiding Russell's paradox, and I believe there are one or two other reasonably well-known alternatives. NBG is as far as I know pretty much ZFC with the notion of proper class. It's the system used on Metamath. The only novel...
by Slereah
Wed Sep 19, 2007 11:12 am UTC
Forum: Mathematics
Topic: Basic/Self-Evident Truth in Mathematics
Replies: 53
Views: 11984

1) What I haven't figured out yet is, how can the whole "mathematical structure" be presented in a rigorous and formal way to someone who has never practiced mathematics before? Which are the axioms that are accepted by today's mathematical society, and how can we define numbers and the o...

Go to advanced search