Programming v Mathematics [Was: An Ultrafinite Set Theory]
in [Lisp]
|
From: aminer on 1 Mar 2010 20:05 Hello again, Sorry, i don't speak very well english(so be cool), but i love to clarify my ideas... Doing something interresting with a minimum of knowledge, is it not also intelligence ? Do you think that i know all the mathematics ? Do you think that i know a lot about hardware ? .... BUT EVEN if i don't know a lot about mathematics and hardware etc. i love to construct something usefull with a MINIMUM of objects, and that's also intelligence ! And - like in a graph - i love also to find the shortest path to knowledge and understanding ! Regards, Amine Moulay Ramdane. Mar 1, 5:39 pm, aminer <ami...(a)videotron.ca> wrote: > Hello, > > As an example: > > Take a look at lockfree_mpmc: > > We can state something like this, when we are reasonning > about lockfree algorithms in a multithreaded envirenement: > > See lockfree_mpmc:http://pages.videotron.com/aminer/ > > "IF two variables(like head and tail) resides in the same cache line > and at least one of them is write to by a thread, THEN there is a > false sharing..." > > It's like a theorem that i am applying, it's why when you look at > lockfree_mpmc the head and tail resides in different cache lines. > > The same for deadlock , we can apply theorems to avoid deadlock. > > etc. > > It's like mathematics that use logic... > > And the mathematics itself was invented by using logic ... > > Regards, > Amine Moulay Ramdane. > > On Mar 1, 5:04 pm, aminer <ami...(a)videotron.ca> wrote: > > > > > Question: > > > Do you think that i have to prove all the mathematics before using > > it ? > > > Of course not ! > > > Take a look at > > >http://pages.videotron.com/aminer/parallelhashlist/queue.htm > > > I am using 'logic' in my process of reasonning about > > mathematical models and the reality > > > and when i say for example: > > > "Since we have mostly two kind of transactions Find() and Add(), > > the service in the network side will be hyperexponentially > > distributed" > > > It's like a theorem that i am using ! > > > Think about it ! > > > Regards, > > Amine Moulay Ramdane.- Hide quoted text - > > - Show quoted text -
From: aminer on 1 Mar 2010 20:44
Hello, And logic - and intelligence - dictate that wisdom is a good thing for humanity ! Hence, don't forget about wisdom ! And don't forget to read my poems: http://pages.videotron.com/aminer/poems.html :) Regards, Amine Moulay Ramdane. On Mar 1, 8:05 pm, aminer <ami...(a)videotron.ca> wrote: > Hello again, > > Sorry, i don't speak very well english(so be cool), > but i love to clarify my ideas... > > Doing something interresting with a minimum of knowledge, > is it not also intelligence ? > > Do you think that i know all the mathematics ? > > Do you think that i know a lot about hardware ? > > ... > > BUT EVEN if i don't know a lot about mathematics and hardware etc. > i love to construct something usefull with a MINIMUM of objects, > and that's also intelligence ! > > And - like in a graph - i love also to find the shortest path to > knowledge > and understanding ! > > Regards, > Amine Moulay Ramdane. > > Mar 1, 5:39 pm, aminer <ami...(a)videotron.ca> wrote: > > > > > Hello, > > > As an example: > > > Take a look at lockfree_mpmc: > > > We can state something like this, when we are reasonning > > about lockfree algorithms in a multithreaded envirenement: > > > See lockfree_mpmc:http://pages.videotron.com/aminer/ > > > "IF two variables(like head and tail) resides in the same cache line > > and at least one of them is write to by a thread, THEN there is a > > false sharing..." > > > It's like a theorem that i am applying, it's why when you look at > > lockfree_mpmc the head and tail resides in different cache lines. > > > The same for deadlock , we can apply theorems to avoid deadlock. > > > etc. > > > It's like mathematics that use logic... > > > And the mathematics itself was invented by using logic ... > > > Regards, > > Amine Moulay Ramdane. > > > On Mar 1, 5:04 pm, aminer <ami...(a)videotron.ca> wrote: > > > > Question: > > > > Do you think that i have to prove all the mathematics before using > > > it ? > > > > Of course not ! > > > > Take a look at > > > >http://pages.videotron.com/aminer/parallelhashlist/queue.htm > > > > I am using 'logic' in my process of reasonning about > > > mathematical models and the reality > > > > and when i say for example: > > > > "Since we have mostly two kind of transactions Find() and Add(), > > > the service in the network side will be hyperexponentially > > > distributed" > > > > It's like a theorem that i am using ! > > > > Think about it ! > > > > Regards, > > > Amine Moulay Ramdane.- Hide quoted text - > > > - Show quoted text -- Hide quoted text - > > - Show quoted text - |