Search found 9 matches

by hexadoodle
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...
by hexadoodle
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 ...
by hexadoodle
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! :D
by hexadoodle
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...
by hexadoodle
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)...
by hexadoodle
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...
by hexadoodle
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))?
by hexadoodle
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 ...
by hexadoodle
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.