Concerning this boring nonsense:
https://book.simply-logical.space/src/text/2_part_ii/5.3.html#
Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:
Insert your favorite tree traversal pictures here.
Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university
courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome
of the Prolog Education Group 2.0, then good night.
Hi,
Breaking News from the French conference of
philisophy professors in education. They launched
the Local AI Emacs Mode initiative to bring
new technology to even most remote corners
of the earth, such as the Poor South, i.e.
Spain, Brasil, Argentinia, etc..
It consists of:
- **org.joe:** This is a numpy library that
can solve large band matrices via storing
them on floppy disk. One speaker of the
philosophy conference said, this is ideal
to demonstrate algorithms such as Stable
Diffusion, it might take a month though
to generate an image but it servers its
educatinal goals for Low-Resource teaching.
- **org.sleepy:** This is a sympy library that
can also do natural deduction. It uses
very natural communication means such as
E-mail. Its especially useful together with
org.joe, since it will notify the user when
to change a floppy disk via E-mail.
- SWI-Prolog integration of Local AI:
org.joe has a R binding, which has SWI-Prolog
binding, which has a Janus Python binding, which
has a JSON web server binding, etc.. etc.. And
org.sleepy can be controlled via their brand new
XPCE, the Emacs that runs in a Mac/Windows Window.
But most Low-Resource teachers and students will
not be able to use it, since they have only
an ASCII terminal console on a 32-bit Unix.
Bye
Mild Shock schrieb:
Concerning this boring nonsense:
https://book.simply-logical.space/src/text/2_part_ii/5.3.html#
Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:
Insert your favorite tree traversal pictures here.
Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university
courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome
of the Prolog Education Group 2.0, then good night.
Concerning this boring nonsense:
https://book.simply-logical.space/src/text/2_part_ii/5.3.html#
Funny idea that anybody would be interested just now in
the year 2025 in things like teaching breadth first
search versus depth first search, or even be “mystified”
by such stuff. Its extremly trivial stuff:
Insert your favorite tree traversal pictures here.
Its even not artificial intelligence neither has anything
to do with mathematical logic, rather belongs to computer
science and discrete mathematics which you have in
1st year university
courses, making it moot to call it “simply logical”. It
reminds me of the idea of teaching how wax candles work
to dumb down students, when just light bulbs have been
invented. If this is the outcome
of the Prolog Education Group 2.0, then good night.
| Sysop: | DaiTengu |
|---|---|
| Location: | Appleton, WI |
| Users: | 1,096 |
| Nodes: | 10 (0 / 10) |
| Uptime: | 396:41:40 |
| Calls: | 14,036 |
| Calls today: | 2 |
| Files: | 187,082 |
| D/L today: |
2,305 files (1,532M bytes) |
| Messages: | 2,479,073 |