## Search found 9 matches

- Sat May 26, 2018 4:13 am
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 624
- Replies:
**1** - Views:
**4560**

### Problem 624

Gosh! It's never a good sign when I've been at a brick wall with this problem and there's no problem thread. :) I wanna say I'm almost there, got closed forms for everything, not brute forcing anything, but I must be missing something really simple given how many people have solved this. EDIT: Got i...

- Wed May 16, 2018 4:45 am
- Forum: Number
- Topic: Decimal expansion = Continued fraction
- Replies:
**1** - Views:
**7673**

### Decimal expansion = Continued fraction

Someone posed this problem to me: Is there a number whose decimal expansion is equal to its continued fraction expansion? That is, if a,b,c,d,etc are digits, is there a number satisfying a.bcde... = [a;b,c,d,e,...] ? With some coding, I found a number that satisfies this criteria for the first four ...

- Tue May 15, 2018 6:21 pm
- Forum: News, Suggestions, and FAQ
- Topic: Export lifetime progress?
- Replies:
**4** - Views:
**1685**

### Re: Export lifetime progress?

Woah! Just saw this on the page. Thanks a lot!

- Sun May 06, 2018 8:15 pm
- Forum: News, Suggestions, and FAQ
- Topic: Export lifetime progress?
- Replies:
**4** - Views:
**1685**

### Export lifetime progress?

I like the box that tells me the most recent 25 problems I've solved. Would it be possible for me to see /download all information about which problems I've solved and when, back to the start of my account? It'd be interesting to look for patterns and see what times I was really into solving. Thanks...

- Mon Mar 26, 2018 7:40 pm
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 623
- Replies:
**17** - Views:
**3520**

### Re: Problem 623

Can you please give the lambda-calculus representation for each of the four lines of code? They were meant to explain why $(\lambda x{.}(\lambda y{.}(xy)))$ and $(\lambda x{.}(\lambda x{.}(xx)))$ are not $\alpha$-equivalent, but $(\lambda x{.}(\lambda y{.}(yy)))$ and $(\lambda x{.}(\lambda x{.}(xx)...

- Sun Mar 25, 2018 9:04 pm
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 623
- Replies:
**17** - Views:
**3520**

### Re: Problem 623

Why is (Lx.(Lx.x)) not listed as a possibility in the table? It's alpha-equivalent to (Lx.(Ly.y)). Hmm. And yet the problem says "(λx.(λy.(xy))) and (λx.(λx.(xx))) are not α-equivalent." To me it seems like a term with two abstractions, each of a different variable, would be considered distinct fro...

- Sun Mar 25, 2018 7:55 pm
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 623
- Replies:
**17** - Views:
**3520**

### Problem 623

I think I mostly understand this...

Why is (Lx.(Lx.x)) not listed as a possibility in the table?

Would ((Lx.x)(Lx.x)) be alpha-equivalent to ((Lx.x)(Ly.y))?

Why is (Lx.(Lx.x)) not listed as a possibility in the table?

Would ((Lx.x)(Lx.x)) be alpha-equivalent to ((Lx.x)(Ly.y))?

- Thu Feb 22, 2018 10:36 pm
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 620
- Replies:
**20** - Views:
**5840**

### Re: Problem 620

A correct configuration of gears will ALWAYS have their underlying circles as tangent to each other as described in the problem, correct? How important is the shape of the teeth? If they were more square or more rounded, would it affect the answer? What if the teeth stuck out further or lesser? (Is ...

- Tue Jan 16, 2018 9:34 pm
- Forum: Clarifications on Project Euler Problems
- Topic: Problem 611
- Replies:
**17** - Views:
**3987**

### Re: Problem 611

I've made some progress on this problem, found a useful theorem and tried many approaches, but I'm stuck. Is there anyone I can PM for a nudge in the right direction? I hope this is okay to ask, I've seen it done in earlier threads.