martyalain

Some improvement can be seen here : https://lambdaway.fr/workshop/?view=chatgpt_intuition_modele . Your (gentle) opinion is welcome.

The violation of Bell's inequalities does not exclude theories with non-local hidden variables, such as the De Broglie-Bohm theory. The problem is vast enough, the concepts are "fuzzy" enough that we should not forbid ourselves from venturing, with caution, into the back alleys of "authorized" science. It is not impossible that we could find this or that "hidden variable" before arriving at the level where indeterminism becomes objective. The analysis of wave packets using Fourier theory allows us to "mathematically" bring out inequalities analogous to that of Heisenberg. The chaos of the N-body problem (revealed by Poincaré) did not lead him to conclude that the position and speed of bodies were indeterminable, even if practically they were. When the Moon is hidden from my view I prefer to imagine that it is somewhere, in a very precise place, rather than nowhere and everywhere. In any case, there is something to think about and discuss, without any a priori dictate, other than that defined by Karl Popper, essentially: "a scientific theory must be refutable."

We consider a complex spacetime framework, using which we propose to recover the results of relativistic and quantum theories, in a purely geometric manner, without appealing to any objective indeterminism of nature.

We consider a complex spacetime framework, using which we propose to recover the results of relativistic and quantum theories, in a purely geometric manner, without appealing to any objective indeterminism of nature.

Your (gentle) opinion is welcome. Alain Marty

I think that kids are able to jump the gap between blocks and LISPIAN parentheses, their imagination doing the rest. I even think that writing code is much better than drag & dropping blocks, that it helps for fighting against infobesity and for the development of intelligence. I believe that their future is in the KISS attitude.

This is at least a subject that could be discussed. Gently.

« To understand recursion, you must understand recursion. »

In other words "go your way" you will not understand anything about recursion if you are not among the lucky ones. In this paper, taking forgotten byways, I propose to demonstrate the opposite, to show why recursion is consubstantial to us and why it concerns us all as humans.

Ok.

« To understand recursion, you must understand recursion. »

In other words "go your way" you will not understand anything about recursion if you are not among the lucky ones. In this paper, taking forgotten byways, I propose to demonstrate the opposite, to show why recursion is consubstantial to us and why it concerns us all as humans.

Quantum mechanics is in perfect agreement with the observation of the "microscopic" world, but its interpretation gives rise to numerous disagreements. According to Thomas Boyer-Kassem, there are three competing, empirically equivalent interpretations: the so-called orthodox "indeterministic" interpretation, the Bohmian interpretation, and the many-worlds interpretation. In what follows, I will adopt Bohm's deterministic interpretation, based on the existence of hidden variables. I will seek a purely geometric description of quantum phenomena emerging from a complexified relativistic spacetime.

Lambdatalk ( https://lambdaway.fr ) began when I discovered years ago in Steven Levithan, reverse-recursive-pattern this code snippet, a single regular expression, (regexp), and a single line of Javascript.

More to see here : http://lambdaway.fr/workshop?view=levithan

You are welcome in the {lambda way} project, a light framework built on a wiki, {lambda tank}, and a programming language, {lambda talk}, working in any web browser. In other words lambdaway is an « S-expression based writing, styling & coding hypertext editor ».

More in the linked wiki page...

Alan Kay is quoted as saying, after reading John McCarthy’s LISP-1.5 manual: « that was the big revelation to me […] when I finally understood that the half page of code on the bottom of page 13 of the Lisp 1.5 manual was Lisp in itself. These were “Maxwell’s Equations of Software!” This is the whole world of programming in a few lines that I can put my hand over. »

In my (humble) opinion and more generally, I think that the roots of coding can be built on a more simple foundation, a simple text rewriting process.

See more in the linked page. Your (gentle) opinion is welcome...

This is a copy of a chatGPT discussion I had about the lambdatalk language. If you are curious enough to skim it - skipping the non-essential technical details - you will see how amazing it is to talk with a "machine".

Sorry for the inconvenience. Another time perhaps.

In order to support a "working hypothesis" on mind_matter relationships I am looking for a formalization of the concept of noosphere by relying on relativistic and quantum concepts. I start from an idea which consists of keeping the model of General Relativity defined on a four-dimensional Riemanian variety while considering that its dimensions Xα are complex, in other words that it is a Hermitian space. The rest in the linked page, sorry in French. ChatGPT should be able to translate it for English speakers.

Thank you. Well, I always write my posts in English, this one is an exception. Occasionally one or two French speakers drop by... And these days I know that browsers offer automatic translation. You'll have noticed that I've included a link to the home page, which is in English. Clicking on the name "start" opens the page editor, a simple HTML text area. You'll also have noticed that the interface has been reduced to its simplest form. It's a deliberate choice (less is more)... and one that I know turns off a lot of visitors. It's a bit like the column layout, which has earned me a lot of criticism, but which I can't live without. However, if you have an opinion about the content, the nature of language, lambdatalk, don't hesitate to let me know. Thanks again for your interest.

English speaking people could have a look to this page: http://lambdaway.fr

Awesome work. Thank you for sharing. Yes, web technologies coming with web browsers, HTML, CSS, DOM, JAVASCRIPT, PHP, .., can be used directly inside web browsers. This is how I use them to build a tiny web text editor coming with a programming language : http://lambdaway.fr . Your opinion would be appreciated.

When you see the complex machinery developed in Brython and How-Brython-works, transposing into javascript the Python code with one more syntax to digest, we could still hope for a direct approach based on the javascript engine that works by default in web browsers, and respecting as closely as possible the existing syntaxes of the DOM, HTML, CSS, ... as a slight overlay over existing web technologies.

It's the quest of the {lambda way} project.

An other approach can be seen in http://lambdaway.fr Thank you for your opinion. Alain Marty

Hello John,

As explained in this page - http://lambdaway.fr/workshop/?view=coding the lambdatalk evaluator is built so that:

3) lambdas are special forms evaluated to a single word - a function's reference added to a dictionary, initially empty - and follow these 3 rules:

3.1) called on a number of words lesser than the number of arguments, a lambda memorizes the given words and returns a new lambda waiting for missing words,

3.2) called on a number of words equal to the number of arguments a lambda returns a word or a sequence of words,

3.3) called on a number of words greater than the number of arguments, the last one gets the exceeding words and the lambda returns a word or a sequence of words.

So:

1) {SWAP Hello}, ie {{lambda {:a :b} :b :a} Hello}, replaces :a by Hello and returns the anonymous unary function {lambda {:b} :b Hello} waiting for the missing one,

2) {SWAP Hello World} replaces :a by Hello and :b by World and returns "World Hello",

3) {SWAP one two three} replaces :a by "one", :b by all following words, here "two three", and returns "two three one"

The javascript code can be seen in the 100 first lines of this file - http://lambdaway.fr/workshop/meca/JS.js

The lambdaway project is introduced in deep here - http://lambdaway.fr/

with a lot of links to plain explanations on the lambdatalk language.

Thank you for your interest. Alain

Very well done, thanks. For the fun here is a very slow but minimalistic and easy to understand version of the mandelbrot set algorithm, without the burden of any canvas. Using a small language, lambdatalk, a foreign dialect of lambda-calculus, we just compute if a point is inside or outside the mandelbrot set and just write "o" or "." directly in the wiki page. http://lambdaway.fr/workshop/?view=mandel_canvas

The goal is to build some efficient binary arithmetic at the λ-calculus level, using one of its little dialects, lambdatalk, using nothing but two special forms, (lambda & def), no data or control structures - if then else doesn't exist - and an empty dictionary, at least for the main algorithms. For instance: fibonacci(100) = 354224848179261915075 factorial(22) = 1124000727777607680000

Note: Please, don’t be disoriented by the wiki page splitted in narrow columns lost in a wide format. Like any spreadsheet (Excel, ...) it can be comfortably consulted and edited on any screens, wide and as narrow as those of smartphones, just use zooms +/- or dblclicks, sliders and fingers, it's easy and safe. Thank you.

I learned that all programming languages come from the lambda calcul, created in the 30s, ten years before the computer era, a simple text rewriting machine using nothing but 2 operators, abstraction and application, working on a sea of words. Something like the Yin and Yang of TAO. More in http://lambdaway.fr .

The goal is to build some efficient binary arithmetic at the λ-calculus level, that is to say using a reduced set of lambdatalk functionalities, two special forms, lambda and def, no data or control structures - if then else doesn't exist - and an empty dictionary, at least for the main algorithms. For instance: fibonacci(100) = 354224848179261915075 factorial(22) = 1124000727777607680000

In order to explore some of λ-calculus expressions - ie to actually compute algorithms in realtime - we will rewrite them using the lambdatalk language, working in a wiki, lambdatank, built on top of any modern web browser.

I discovered LISP late in life. For a long time, I didn't understand it at all, and reading that LISP was the most natural, the clearest and the most beautiful of all languages didn't help. Until I discovered that LISP was a dialect of lambda-calculus. For a long time, I didn't understand it at all, so hermetic was this formal language dating back to the 30s, and apparently reserved for an academic elite. But then I realized that it was nothing more than a sophisticated text replacement tool. So, using a single regular expression and a few lines of javascript code, I wrote an s-expression evaluation/reduction engine. Then I added 9 special forms -- lambda, def, if, let, quote, macro, style, script, require -- to end up with a real language, lambdatalk, capable of taking advantage of the web's tremendous potential. The result can be seen here: http://lambdaway.fr . I explored many algorithms, and even if this exploration remained solitary, I learned a lot. This is my LISP experience and I don't regret it. Thank you LISP.

The father of LISP, John McCarthy, lamented the W3C's choice of SGML as the basis for HTML : « An environment where the markup, styling and scripting is all s-expression based would be nice. » Answers like BBcode or SexpCode solve part of the problem. The {lambda way} project could be a better one, a small wiki easy to install with a true programming language.

Thanks to browsers and wikis you can read code, edit it and see result in real time: http://lambdaway.free.fr/lambdawalks/ , http://lambdaway.free.fr/lambdawalks/?view=janus

Cool. Could your irregular expressions take something interesting from the Johnathan's snippet recalled in this wiki page http://lambdaway.free.fr/lambdawalks/?view=levithan ?