# All public logs

Jump to navigation
Jump to search

Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 13:48, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/62 - Factorizing/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $62$ == ;Factorizing {{:Henry Ernest Dudeney/Modern Puzzles/62 - Factorizing}} == Solution == {{begin-eqn}} {{eqn | q = | l = 1 \, 000 \, 000 \, 000 \, 001 | r = 100 \, 001 \times 99 \, 990 \, 001 | c = }} {{eqn | r = 73 \times 137 \times 99 \, 990 \, 001 | c = }} {{end-eqn}} == Proof == This specific result is an instance of Prime Factors of One...")
- 13:17, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/62 - Factorizing (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $62$ == ;Factorizing <onlyinclude> :''What are the factors (the numbers that will divide it without any remainder) of this number -- $1000000000001$?'' :''This is easily done if you happen to know something about numbers of this peculiar form.'' :''In fact, it is just as easy for me to give two factors if you insert, say $101$ noughts, instead of $11$, be...")
- 12:32, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/61 - Palindromic Square Numbers/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $61$ == ;Palindromic Square Numbers {{:Henry Ernest Dudeney/Modern Puzzles/61 - Palindromic Square Numbers}} == Solution == {{AuthorRef|Henry Ernest Dudeney|Dudeney}} gives: :$836^2 = 698896$ This is now known to be the smallest. There are larger ones, but they are fairly rare. == Also see == * Numbers whose Square is Palindromic with Even Number of Digits == Sources...")
- 12:27, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/61 - Palindromic Square Numbers (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $61$ == ;Palindromic Square Numbers <onlyinclude> :''This is a curious subject for investigation -- the search for square numbers the figures of which read backwards and forwards alike.'' :''Some of them are very easily found.'' :''For example, the squares of $1$, $11$, $111$ and $1111$ are respective...")
- 12:02, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/60 - Digital Coincidences/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $60$ == ;Digital Coincidences {{:Henry Ernest Dudeney/Modern Puzzles/60 - Digital Coincidences}} == Solution == {{AuthorRef|Henry Ernest Dudeney|Dudeney}} offers up: {{begin-eqn}} {{eqn | l = 2 + 497 | r = 499 }} {{eqn | l = 2 \times 497 | r = 994 }} {{end-eqn}} and: {{begin-eqn}} {{eqn | l = 2 + 263 | r = 265 }} {{eqn | l = 2 \times 263 | r = 526 }}...")
- 11:49, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/60 - Digital Coincidences (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $60$ == ;Digital Coincidences <onlyinclude> :''If I multiply, and also add, $9$ and $9$, I get $81$ and $18$, which contain the same figures.'' :''If I multiply and add $2$ and $47$ I get $94$ and $49$, -- the same figures.'' :''If I multiply and add $3$ and $24$ I get the same figures -- $72$ and $27$.'' :''Can you f...")
- 11:16, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/59 - The Two Digits/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $59$ == ;The Two Digits {{:Henry Ernest Dudeney/Modern Puzzles/59 - The Two Digits}} == Solution == Examples given by {{AuthorRef|Henry Ernest Dudeney|Dudeney}}: {{begin-eqn}} {{eqn | l = 15 | r = 5 \div \sqrt {\cdotp \dot 1} }} {{eqn | l = 4^2 | r = 2^4 }} {{eqn | l = 24 | r = \paren {\sqrt 4 + 2}! }} {{eqn | l = 25 | r = 5^2 }} {{eqn | r = 5 \div {\cdo...")
- 10:53, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/59 - The Two Digits (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $59$ == ;The Two Digits <onlyinclude> :''Write down any $2$-figure number (different figures and no $0$)'' ::''and then express that number by writing the same figures in reverse order,'' ::''with or without arithmetical signs.'' </onlyinclude> :''For example, $45 = 5 \times 9$ would be correct if only the $9$ had happ...")
- 10:29, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/58 - The Two Fours/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $58$ == ;The Two Fours {{:Henry Ernest Dudeney/Modern Puzzles/58 - The Two Fours}} == Solution == If you allow the $\Gamma$ function: :$\paren {\sqrt 4}^{\map \Gamma 4} = 2^6 = 64$ Otherwise, there is this ingenious creation that was supplied by {{AuthorRef|Henry Ernest Dudeney|Dudeney}} himself, and may be original to him: :$\sqrt {\paren {\sqr...")
- 09:55, 4 December 2021 Prime.mover talk contribs created page Four Fours/Historical Note (Created page with "== Historical Note on Four Fours == <onlyinclude> As {{AuthorRef|Henry Ernest Dudeney}} put it in his $58$. - The Two Fours in his $1926$ {{BookLink|Modern Puzzles|Henry Ernest Dudeney}}: {{:Henry Ernest Dudeney/Modern Puzzles/58 - The Two Fours/Historical Note}} </onlyinclude> Category:Historical Notes")
- 09:54, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/58 - The Two Fours/Historical Note (Created page with "== Historical Note on $58$. - The Two Fours == <onlyinclude> :''I am perpetually receiving inquiries about the old "Four Fours" puzzle.'' :''I published it in $1899$, but have since found that it first appeared in the first volume of ''knowledge'' ($1881$).'' :''It has since been dealt with at some length by various writers.'' </onlyinclude> Category:Historical Notes")
- 09:48, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/58 - The Two Fours (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $58$ == ;The Two Fours <onlyinclude> :''{{WIP}}'' </onlyinclude> === Click here for solution === == Sources == * {{BookReference|Modern Puzzles|1926|Henry Ernest Dudeney|prev = Henry Ernest Dudeney/Modern Puzzles/57 - A Misunderstanding|next = Four Fours/Historical Note}}: Arithmetical and Algebraical Pro...")
- 08:51, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/57 - A Misunderstanding/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $57$ == ;A Misunderstanding {{:Henry Ernest Dudeney/Modern Puzzles/57 - A Misunderstanding}} == Solution == :$857142$ == Proof == We are being asked to find a number: :$N = \sqbrk {a_1 a_2 a_3 \ldots a_{k - 1} a_k 2}_{10}$ such that: :$\dfrac N 3 = \sqbrk {2 a_1 a_2 a_3 \ldots a_{k - 1} a_k}_{10}$ Let $q$ be the rational number which can be...")
- 06:24, 4 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/57 - A Misunderstanding (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $57$ == ;A Misunderstanding <onlyinclude> :''An American correspondent asks me to find a number composed of any number of digits that may be correctly divided by $2$'' ::''by simply transferring the last figure to the beginning.'' :''He has apparently come across our last puzzle w...")
- 21:42, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/56 - Easy Division/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $56$ == ;Easy Division {{:Henry Ernest Dudeney/Modern Puzzles/56 - Easy Division}} == Solution == == Proof == Let $N$ be the number in question This is an example of: :Integer which is Multiplied by Last Digit when moving Last Digit to First except here we are moving the first digit to last and dividing by it. Hence $N$...")
- 21:28, 3 December 2021 Prime.mover talk contribs created page Integer which is Multiplied by Last Digit when moving Last Digit to First (Created page with "== Theorem == Let $N$ be a positive integer expressed in decimal notation in the form: :$N = \sqbrk {a_k a_{k - 1} a_{k - 2} \ldots a_2 a_1}_{10}$ Let $N$ be such that when you multiply it by $a_1$, you get: :$a_1 N = \sqbrk {a_1 a_k a_{k - 1} \ldots a_3 a_2}_{10}$ Then at least one such $N$ is equal to the recurring part of the Defi...")
- 21:10, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/56 - Easy Division (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $56$ == ;Easy Division <onlyinclude> :''To divide the number $8 \, 101 \, 265 \, 822 \, 784$ by $8$, all we need to do is transfer the $8$ from the beginning to the end!'' :''Can you find a number beginning with $7$ that can be divided by $7$ in the same simple manner?'' </onlyinclude> === [[Henry Ernest Dudeney/Modern Puzzles/56 - Easy Division/Solution|Click here for solution]...")
- 19:23, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/55 - The Repeated Quartette/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $55$ == ;The Repeated Quartette {{:Henry Ernest Dudeney/Modern Puzzles/55 - The Repeated Quartette}} == Solution == :$273863$ == Proof == The key point is that a number of the form $\sqbrk {abcdabcd}_{10}$ is equal to $10001 \times \sqbrk {abcd}_{10}$. We also have that: :$10001 = 73 \times 137$ and: :$365 = 5 \times 73$ So the $8$ digit number we end up with is a multiple...")
- 19:17, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/55 - The Repeated Quartette (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $55$ == ;The Repeated Quartette <onlyinclude> :''If we multipluy $64253$ by $365$ we get the product $23452345$, where the first $4$ figures are repeated.'' :''What is the largest number that we can multiply by $365$ in order to produce a similar product of $8$ figures repeated in the same order?'' :''There is no object to a repetition of figures -- that is, the four that are repe...")
- 18:59, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/54 - The Two Additions/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $54$ == ;The Two Additions {{:Henry Ernest Dudeney/Modern Puzzles/54 - The Two Additions}} == Solution == Trick puzzle. :$12 + 4 + 8 = 3 + 5 + 7 + 9 = 24$ == Sources == * {{BookReference|Modern Puzzles|1926|Henry Ernest Dudeney|prev = Henry Ernest Dudeney/Modern Puzzles/53 - Squares and Digits/Solution|next = Henry Ernest Dudeney/Modern Puzzles/55 -...")
- 18:56, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/54 - The Two Additions (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $54$ == ;The Two Additions <onlyinclude> :''Can you arrange the following figures into two groups of 4$ figures each so that each group shall add to the same sum?'' :::$1 \ 2 \ 3 \ 4 \ 5 \ 7 \ 8 \ 9$ </onlyinclude> :''If you were allowed to reverse the $9$ so as to change it into the missing $6$ it would be very easy.'' :''For example, $1, 2, 7, 8$ and $3, 4, 5, 6$ add up to $18$...")
- 18:46, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/53 - Squares and Digits/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $53$ == ;Squares and Digits <onlyinclude> :''What is the smallest square number that terminates with the greatest possible number of similar digits?'' :''Thus the greatest possible number might be $5$ and the smallest square number with $5$ similar digits at the end might be $24677777$.'' :''But this is certainly not a De...")
- 18:08, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/53 - Squares and Digits (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $53$ == ;Squares and Digits <onlyinclude> :''What is the smallest square number that terminates with the greatest possible number of similar digits?'' :''Thus the greatest possible number might be $5$ and the smallest square number with $5$ similar digits at the end might be $24677777$.'' :''But this is certainly not a De...")
- 17:50, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/52 - The Five Cards/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $52$ == ;The Five Cards {{:Henry Ernest Dudeney/Modern Puzzles/52 - The Five Cards}} == Solution == :$\boxed 3 \boxed 9 \ \boxed 1 \ \boxed 5 \boxed 7$ or: :$\boxed 5 \boxed 7 \ \boxed 1 \ \boxed 3 \boxed 9$ == Proof == Let $d_1$ and $d_2$ be the two $2$-digit numbers at either end. Let $s$ be the single-digit Definition:Subtrahend...")
- 17:35, 3 December 2021 Prime.mover talk contribs created page Definition:Difference (Subtraction) (Redirected page to Definition:Subtraction/Difference) Tag: New redirect
- 17:34, 3 December 2021 Prime.mover talk contribs created page Definition:Subtraction/Difference (Created page with "== Definition == <onlyinclude> Let $a - b$ denote the operation of subtraction on two objects $a$ and $b$. Then the result $a - b$ is referred to as the '''difference''' of $a$ and $b$. </onlyinclude> Note that the nature of $a$ and $b$ has deliberately been left unspecified. They could be, for example, numbers, matrices or more complex Definition:Ex...")
- 17:31, 3 December 2021 Prime.mover talk contribs created page Definition:Subtrahend (Redirected page to Definition:Subtraction/Subtrahend) Tag: New redirect
- 17:30, 3 December 2021 Prime.mover talk contribs created page Definition:Subtrahend/Linguistic Note (Created page with "== Linguistic Note on Subtrahend == <onlyinclude> The word '''subtrahend''' derives from the Latin '''subtrahendus numerus''', meaning '''number which is to be subtracted'''. </onlyinclude> Category:Linguistic Notes")
- 17:29, 3 December 2021 Prime.mover talk contribs created page Definition:Subtraction/Subtrahend (Created page with "== Definition == <onlyinclude> Let $a - b$ denote the operation of subtraction on two objects. The object $b$ is known as the '''subtrahend''' of $a - b$. </onlyinclude> Note that the nature of $a$ and $b$ has deliberately been left unspecified. They could be, for example, numbers, matrices or more complex Definition:Expression|...")
- 17:27, 3 December 2021 Prime.mover talk contribs created page Definition:Minuend (Redirected page to Definition:Subtraction/Minuend) Tag: New redirect
- 17:26, 3 December 2021 Prime.mover talk contribs created page Definition:Subtraction/Minuend (Created page with "== Definition == <onlyinclude> Let $a - b$ denote the operation of subtraction on two objects. The object $a$ is known as the '''minuend''' of $a - b$. </onlyinclude> Note that the nature of $a$ and $b$ has deliberately been left unspecified. They could be, for example, numbers, matrices or more complex Definition:Expression|exp...")
- 17:26, 3 December 2021 Prime.mover talk contribs created page Definition:Minuend/Linguistic Note (Created page with "== Linguistic Note on Minuend == <onlyinclude> The word '''minuend''' derives from the Latin '''minuendus''', meaning '''that which is to be diminished''' (that is, '''made smaller'''). </onlyinclude> Category:Linguistic Notes")
- 17:01, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/52 - The Five Cards (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $52$ == ;The Five Cards <onlyinclude> :''I have $5$ cards bearing the figures $1$, $3$, $5$, $7$ and $9$.'' :''How can I arrange them in a row so that the number formed by the $1$st pair multipied by the number formed with the last pair,'' ::''with the central number subtracted,'' ::''will produce a number composed of repetitions of one figure?'' </onlyinclude> :::$\boxed 3 \boxe...")
- 16:52, 3 December 2021 Prime.mover talk contribs created page User talk:AuthenticProofs (Welcome!)
- 16:52, 3 December 2021 Prime.mover talk contribs created page User:AuthenticProofs (Creating user page for new user.)
- 16:52, 3 December 2021 User account AuthenticProofs talk contribs was created by Prime.mover talk contribs and password was sent by email
- 14:02, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/49 - Exploring the Desert/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $49$ == ;Exploring the Desert <onlyinclude> :''Nine travellers, each possessing a motor-car, meet on the eastern edge of a desert.'' :''They wish to explore the interior, always going due west.'' :''Each car can travel $40$ miles on the contents of the engine tank,'' ::''which holds a gallon of petrol,'' ::''and each can carry $9$ extra ...")
- 12:16, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/50 - Exploring Mount Neverest/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $50$ == ;Exploring Mount Neverest {{:Henry Ernest Dudeney/Modern Puzzles/50 - Exploring Mount Neverest}} == Solution == :$23 \tfrac 1 2$ days. == Working == {{begin-eqn}} {{eqn | n = 1 | o = | c = Dump $5$ rations at $90$-mile point and return to base | cc= ($5$ days) }} {{eqn | n = 2 | o = | c = Dump $1$ at $85$ and return t...")
- 10:37, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/51 - An Exceptional Number/Solution (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $51$ == ;An Exceptional Number {{:Henry Ernest Dudeney/Modern Puzzles/51 - An Exceptional Number}} == Solution == We have: :$1 \, 3 \, 4 \, 5 \, 2$ as: :$13 \times 4 = 52$ It remains to be shown that there are no more. This could be implemented by means of a computer search. == Sources == * {{BookReference|Modern Puzzles|1926|Henry Ernest Dudeney|prev = Henry Ernest Dudene...")
- 10:27, 3 December 2021 Prime.mover talk contribs created page Henry Ernest Dudeney/Modern Puzzles/51 - An Exceptional Number (Created page with "== {{BookLink|Modern Puzzles|Henry Ernest Dudeney}} by {{AuthorRef|Henry Ernest Dudeney}}: $51$ == ;An Exceptional Number <onlyinclude> :''A number is formed of $5$ successive digits (not necessarily in regular order)'' ::''so that the number formed by the first $2$ multiplied by the central digit will produce the number expressed by the last $2$.'' </onlyinclude> :''Thus if it were $1 \, 2 \,8 \, 9 \, 6$, then $12$ multiplied b...")
- 09:29, 3 December 2021 Prime.mover talk contribs created page Mathematician:S.C. Kleene (Redirected page to Mathematician:Stephen Cole Kleene) Tag: New redirect
- 09:21, 3 December 2021 Prime.mover talk contribs created page Lob's Paradox (Redirected page to Löb's Paradox) Tag: New redirect
- 09:20, 3 December 2021 Prime.mover talk contribs created page Category:Definitions/Named Definitions/Löb (Created page with "{{NameCategoryDef|Martin Hugo Löb}}")
- 09:18, 3 December 2021 Prime.mover talk contribs created page Category:Named Theorems/Löb (Created page with "{{NameCategory|Martin Hugo Löb}}")
- 09:17, 3 December 2021 Prime.mover talk contribs created page Mathematician:Martin Hugo Löb (Created page with "== Mathematicians == <onlyinclude> German mathematician eho specialised in mathematical logic. Best known for having formulated Löb's Theorem in 1955. </onlyinclude> == Nationality == German == History == * Born: March 31, 1921 in Berlin * Died: August 21, 2006 in Annen, Netherlands == Theorems and Definitions == * Löb's Theorem * Löb's Paradox (also known as Curry's Paradox after {{AuthorRef|Haskell Brooks Curry}}) * Definition:Löb-Waine...")
- 08:46, 3 December 2021 Prime.mover talk contribs created page Talk:Powerset Not Subset of its Set (Created page with "shouldnt' this be $\powerset A \not \subseteq A$? Because that's what the title says. --~~~~")
- 06:51, 3 December 2021 Prime.mover talk contribs created page Löb's Paradox (Redirected page to Curry's Paradox) Tag: New redirect
- 06:50, 3 December 2021 Prime.mover talk contribs created page Mathematician:Haskell B. Curry (Redirected page to Mathematician:Haskell Brooks Curry) Tag: New redirect
- 06:42, 3 December 2021 Prime.mover talk contribs created page Category:Definitions/Named Definitions/Curry (Created page with "{{NameCategoryDef|Haskell Brooks Curry}}")
- 06:41, 3 December 2021 Prime.mover talk contribs created page Category:Named Theorems/Curry (Created page with "{{NameCategory|Haskell Brooks Curry}}")