Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Marcus G. Daniels
If you like a function-level programming the language Joy offers a pure approach: http://www.latrobe.edu.au/philosophy/phimvt/joy/j08cnt.html FRIAM Applied Complexity Group listserv Meets Fridays 9a-11:30 at cafe at St. John's Colleg

Re: [FRIAM] The what is AI question + recursive languages

2006-12-28 Thread Robert Howard
Phil, This has been a very interesting thread with you. I just drove to California for Christmas and bought an audio tape for the road titled “Before the Dawn” by Nicholas Wade. It’s very interesting about how much information archeologists can recover just from DNA in living humans today. In p

Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Owen Densmore
OK, just one more addition to the J theme. Sorry to be noisy! I wrote to the J forum two years ago on the topic: http://www.jsoftware.com/pipermail/general/2004-July/017809.html Some of the responses were quite interesting. For example, J has a "Tacit" mode which lets you prove equivalence

Re: [FRIAM] Meeting at Le Zodiac (Garrett's Desert Inn) Tomorrow

2006-12-28 Thread Stephen Guerin
St. John's Cafe is closed tomorrow for the break. Due to Tom Johnson's fine scouting, we'll be meeting at Le Zodiac Café at Garrett's Desert Inn at Alameda and Old Santa Fe Trail. http://www.santafe.com/sfrestaurants/121/ -Steve FRIA

Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Owen Densmore
Here's a more recent Ken Iverson discussion on Computers and Mathematical Notation: http://tinyurl.com/ym8r64 or http://www.cacs.louisiana.edu/~mgr/404/burks/language/apl/camnweb/ camn.htm This is J based, rather than APL. -- Owen Owen Densmore http://backspaces.net On Dec 28,

Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Owen Densmore
First of all, a big THANKS for all the interesting ideas. I've been trying to get my brain around all this for quite some time. And I think its time I sit down and start writing on the divide between Math and Computing. One of the more interesting discussions on this topic comes from the

Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Marcus G. Daniels
Eric Smith wrote: > Returning from music to the question of searching for mathematical > expressions. This may be foolish, but what about using a functional > programming language, such as Haskell, as a "standard format" for > searchable math expressions? Some of the popular functional programmi

[FRIAM] A Google-esq Christmas greeting

2006-12-28 Thread J T Johnson
A touch late for Christmas, but happy new year everyone. http://www.geogreeting.com/view.html?zdJ0ZNOq+g1K12$N+k-ImVbx+lFrj2 (Surely no one has enough time on his/her hands to search out these building shapes, so is there some pattern-recognition algorithm at work in a some Google Map search engi

Re: [FRIAM] Mathematical Search and Regular Expressions

2006-12-28 Thread Eric Smith
Hi Friam, Returning from music to the question of searching for mathematical expressions. This may be foolish, but what about using a functional programming language, such as Haskell, as a "standard format" for searchable math expressions? It reads enough like math that it wouldn't be very diffi

[FRIAM] FRIAM Community/Collaborative search engines

2006-12-28 Thread Günther Greindl
Hello, I came across Eurekster/Google community/collaborative search engines, and I thought maybe this would be a good idea for the FRIAM group. The Eurekster FAQ says in a nutshell what it's about: "Sometimes, looking for specific information has that needle in a haystack feeling. Not only can