[HN Gopher] A Little Closer to Finding What Became of M. Schonfi...
___________________________________________________________________
A Little Closer to Finding What Became of M. Schonfinkel Inventor
of Combinators
Author : RafelMri
Score : 43 points
Date : 2024-02-01 07:14 UTC (1 days ago)
(HTM) web link (writings.stephenwolfram.com)
(TXT) w3m dump (writings.stephenwolfram.com)
| Y_Y wrote:
| > And in conclusion, the mapping of functions of multiple
| arguments to higher-order functions of a single argument should
| not be called "currying", nor even "schonfinkelization" but
| "wolframming". This respects the fact that a combinator is just a
| special case of my cellular automata that I invented.
| GoodUser77 wrote:
| Good story and analysis
| msla wrote:
| Oh, for the days when someone promoting a "New Kind Of Science"
| would be binned with Archimedes Plutonium and the rest of the
| Usenet kooks.
|
| https://sci.math.narkive.com/1qxfc4Xv/how-the-archimedes-plu...
|
| http://www.fact-index.com/a/ar/archimedes_plutonium.html
|
| https://en.wikipedia.org/wiki/Usenet_personality
| baruz wrote:
| Why not comment on the (rather interesting IMO) content rather
| than on the personality of the person writing? No one is going
| to change their mind based on your snark.
| Blackthorn wrote:
| Key difference being Wolfram actually has achievements to his
| name.
| Guthur wrote:
| So the guy has crazy ideas and doesn't hate himself, what's the
| problem?
|
| Of all the f'd up people in the world this guy seems very much
| on the "so what" end of the spectrum.
| max_ wrote:
| Anyone know of any good introductory resources on combinators?
| Stephen Wolfram's book seems too advanced for me.
| robinhouston wrote:
| That depends rather on your background. I found Schonfinkel's
| original paper to be very accessible. Perhaps you will too, if
| you know a little old-fashioned logic.
|
| http://sshieh.web.wesleyan.edu/wescourses/2013f/388/e-texts/...
| eduhetxub wrote:
| Quite frankly, the Wikipedia page should tell anyone
| everything they could want to know (for starters).
|
| https://en.wikipedia.org/wiki/SKI_combinator_calculus
| denotational wrote:
| I read _Lambda-Calculus and Combinators: An Introduction_ by J
| Roger Hindley as an undergraduate and found it was very
| accessible.
| gonzus wrote:
| I would highly recommend To Mock a Mockingbird by Raymond
| Smullyan. It will also introduce you (if you are not already
| aware) to the wonderful world of Smullyan's books.
| thriftwy wrote:
| https://clck.ru/38WW9M This is where you are supposed to search
| Soviet WWII personnel and I guess that some of these documents
| come from here.
|
| https://clck.ru/38WWAQ However, this documents lists a different
| address for Grigorii Schonfinkel! "Sadovaia-Triumfal'naia, d. 2
| kv. 12" (Sadovaya-Triumphalnaya 2, apt. 12)
|
| What's interesting about it that it is usually addressed as
| "Tverskaia 30". Maybe not this building after all? Or there was a
| reason why it was addressed that way.
|
| https://retromap.ru/1319377_55.769246,37.605020 - Looks like the
| address actually existed back then, and wasn't an alias of
| Tverskaya 30.
| myth_drannon wrote:
| Yes, looks like the Grigory's WWII documents came from pamyat-
| naroda
|
| Also Yandex Archive started scanning/transcribing documents
| (even handwritten! powered by TrOCR model I guess?). I found
| there more documents on Grigori and left comments on the
| article itself.
| jekude wrote:
| I recently attempted to make a reference implementation and
| walkthrough of Schonfinkel's original paper [1]. I found the
| English translation (by Stefan Bauer-Mengelberg) to be quite
| readable, highly recommend!
|
| [1] https://github.com/planetlambert/combinator
___________________________________________________________________
(page generated 2024-02-02 23:00 UTC)