Talk:Jan Łukasiewicz

message: 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)
thread_title:  Spelling 

message: 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)
thread_title: Stacks 

message: 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)
replies: text: Brouwer never formalized the logic he used for intuitionistic reasoning (he even deprecated the idea of formalizing it), and Heyting introduced his system of axioms for intuitionistic logic only in 1927/28 (published 1930). Thus it may not be true that Łukasiewicz 3-valued logic was the first non-classical logic (as intuitionistic logic was at least implicitly present), but it can be maintained that it was the first non-classical logical calculus (i.e., an explicit system of axioms). I have therefore restored the sentence, with the clarification that it was the first explicitly axiomatized non-classical calculus. LBehounek 19:00, 9 September 2007 (UTC)
thread_title:  3 valued logic as first non-classical logic? 

message: Was Jan related to Ignacy Łukasiewicz, the early developer of petroleum? Axel 15:18, 26 November 2007 (UTC)
thread_title:  Relation with Ignacy? 

message: It seems I recall reading about how Lukasiewicz by-passed certain classical laws knowing that they restrict creativity. Similarly, I believe that Lukasiewicz was said to have "declared war" on all that "opposes human creativity". If anyone knows the source of that information, feel free to reference it here in the discussion page. 74.195.25.78 (talk) 21:53, 14 January 2008 (UTC)
thread_title: War on all that opposes creativity?

message: 1. Lviv did not belong to Austria-Hungary within Łukasiewicz' lifetime. Since 1939 it belongs to Ukraine, a part of USSR by 1991.
2. Poland was a part of Russian Empire before 1918; the statement about "Kingdom" establishment makes little sense.  — Preceding unsigned comment added by 172.56.41.247 (talk) 16:42, 12 May 2016 (UTC)
thread_title: My comments on this entry