Talk:Jan Łukasiewicz
From Wikipedia, the free encyclopedia
I am concerned that we have a spelling conflict over one of the names in the Warsaw School. (See the "studied with" sentence near head of Alfred Tarski. My Source (I can look it up and provide if you like) has Leśniewski. How confident are you in your spelling? Thanks, vanden 07:07, 5 Nov 2003 (UTC)
Thanks for your comment about the spelling of his colleague's name Leśniewski. I have little confidence in the accuracy of my spelling, I am sure yours has a better chance of being right. I changed the page to reflect it, and with (I hope) your agreement copied your message & my reply into the article's talk page. EdH 03:04, 8 Nov 2003 (UTC)
(the above copied from the Users' talk pages)
[edit] Stacks
On the this page it says "Łukasiewicz's Polish notation of 1920 was at the root of the idea of the recursive stack a last-in, first-out computer memory store invented by Charles Hamblin[1] of the New South Wales University of Technology (NSWUT), and first implemented in 1957."
The external reference about Hamblin says "Hamblin's proposal for Reverse Polish Notation is contained in the following papers." .... "C. L. Hamblin [1957]: "Computer Languages." The Australian Journal of Science, 20: 135-139. Reprinted in The Australian Computer Journal, 17(4): 195-198 (November 1985)." ... "proposed stacks"
On Friedrich L. Bauer it says Bauer " was the first to propose the widely used stack method of expression evaluation".
Is there a definitive answer to who was first? Can someone with the answer edit the appropriate page (and explain why so it doesn't get reverted), please? Neil Leslie 23:34, 29 March 2006 (UTC)
The article on Friedrich L. Bauer is not very clear, but it seems to imply that he proposed the stack around 1951, and thus a few years before Hamblin. Tsf 13:45, 11 June 2006 (UTC)
[edit] 3 valued logic as first non-classical logic?
I reoved the claim that Łukasiewicz's 3-valued logic was "the first non-classical logical calculus" Lower on the page it claims that he developed this in 1917. Brouwer's The Unreliability of the Logical Principles was 1908, so the claim that 1917 was the first non-classical logic seems hard to support. Maybe someone who knows more history of logic than I could clear this up.Neil Leslie 09:52, 30 March 2006 (UTC)