Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #206886
| From | Nicholas Geovanis <nickgeovanis@gmail.com> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: text editors |
| Date | 2019-04-01 18:20 +0200 |
| Message-ID | <xI7Pb-4d2-3@gated-at.bofh.it> (permalink) |
| References | <xI5DI-2GF-3@gated-at.bofh.it> <xI66J-370-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
[Multipart message — attachments visible in raw view] - view raw
On Mon, Apr 1, 2019 at 9:22 AM Thomas Schmitt <scdbackup@gmx.net> wrote: > Hi, > > Nicholas Geovanis wrote: > > semantics collapses to syntax. As in mathematics. > > This view is outdated since nearly 90 years. The attempt to create a > language where semantical correctness results from syntactical correctness > was killed by Goedel's incompleteness theorem. > Thomas, Guten Morgen. That is correct in the correct context/Das ist ja richtig, aber im richtigen Kontext: I used the phrase "collapses to". I shunned the word "attains". Does that make sense? <<Erreichung>> statt << Zusammenbruch >>. In other words, a process not an achievement. The insight was not new then. Paul the Apostle wrote about Epimenides: > "One of themselves, even a prophet of their own, said, the Cretians are > alway liars, evil beasts, slow bellies." > Yet at the very least Aristotle began the development of modal and temporal logics. This is well recognized today. From the beginning of classical formal logic, there also began the development of "non-classical" logics :-) The automation of logics of belief and contingency is underway for some time. This is particularly strong in the Chicago area due to Argonne National Laboratory in the southwestern suburbs, where Robinson worked after his PhD. Also Overbeek, Wos, Winker (who I knew at uni), usw. > Have a nice day :) > Gruß Gott ;-) Nikko Geovanis/Τζοβανeσ > Thomas > >
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
text editors mick crane <mick.crane@gmail.com> - 2019-03-25 05:40 +0100
Re: text editors Cindy-Sue Causey <butterflybytes@gmail.com> - 2019-03-25 06:00 +0100
Re: text editors Jude DaShiell <jdashiel@panix.com> - 2019-03-25 06:10 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-25 06:40 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-25 09:00 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-25 11:20 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-25 11:40 +0100
Re: text editors Dan Hitt <dan.hitt@gmail.com> - 2019-03-25 07:00 +0100
Re: text editors john doe <johndoe65534@mail.com> - 2019-03-25 07:40 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-25 12:10 +0100
Re: text editors rhkramer@gmail.com - 2019-03-25 12:50 +0100
Re: text editors rhkramer@gmail.com - 2019-03-25 13:10 +0100
Re: text editors Étienne Mollier <etienne.mollier@mailoo.org> - 2019-03-25 21:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-25 22:10 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-25 13:30 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-26 08:40 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-26 16:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-26 18:00 +0100
Re: text editors Håkon Alstadheim <hakon@alstadheim.priv.no> - 2019-03-26 21:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-27 03:30 +0100
Re: text editors rhkramer@gmail.com - 2019-03-27 13:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-27 14:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-27 15:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-27 15:40 +0100
Re: text editors rlharris@oplink.net - 2019-03-27 17:30 +0100
Re: text editors rlharris@oplink.net - 2019-03-28 18:40 +0100
keyboard macros (was: Re: text editors) rhkramer@gmail.com - 2019-03-28 19:00 +0100
Re: keyboard macros John Hasler <jhasler@newsguy.com> - 2019-03-28 19:30 +0100
Re: keyboard macros Cindy-Sue Causey <butterflybytes@gmail.com> - 2019-03-28 20:00 +0100
Re: keyboard macros rlharris@oplink.net - 2019-03-28 19:50 +0100
Re: keyboard macros John Hasler <jhasler@newsguy.com> - 2019-03-28 20:10 +0100
xfce launchers rlharris@oplink.net - 2019-04-03 18:40 +0200
Re: xfce launchers Mike Kupfer <mkupfer@alum.berkeley.edu> - 2019-04-04 07:20 +0200
Re: xfce launchers rlharris@oplink.net - 2019-04-04 07:40 +0200
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 06:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 03:40 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 03:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 08:00 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 09:20 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 10:40 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:10 +0100
Emacs without knowing any Lisp (was: text editors) Ben Finney <bignose@debian.org> - 2019-03-29 02:50 +0100
Re: Emacs without knowing any Lisp (was: text editors) Bill Wood <william.wood3@comcast.net> - 2019-03-29 06:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 14:10 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 14:50 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-28 14:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 15:20 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 15:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 00:40 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 06:30 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-29 09:00 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 10:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 12:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-29 18:00 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 19:50 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-29 20:10 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 00:10 +0100
Re: text editors Gene Heskett <gheskett@shentel.net> - 2019-03-30 00:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-30 01:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 01:40 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 04:30 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-30 09:30 +0100
What does all this mean? was Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 17:20 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-30 05:30 +0100
Re: text editors Bob Bernstein <poobah@ruptured-duck.com> - 2019-03-30 02:20 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-30 02:30 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-30 01:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 12:10 +0200
Re: text editors <tomas@tuxteam.de> - 2019-04-01 12:10 +0200
Re: text editors Gene Heskett <gheskett@shentel.net> - 2019-04-01 12:50 +0200
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-04-01 16:40 +0200
Re: text editors Nicholas Geovanis <nickgeovanis@gmail.com> - 2019-04-01 16:00 +0200
Re: text editors "Thomas Schmitt" <scdbackup@gmx.net> - 2019-04-01 16:30 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 16:50 +0200
Re: text editors Curt <curty@free.fr> - 2019-04-01 17:40 +0200
Re: text editors Nicholas Geovanis <nickgeovanis@gmail.com> - 2019-04-01 18:20 +0200
Re: text editors "Thomas Schmitt" <scdbackup@gmx.net> - 2019-04-01 19:50 +0200
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-04-01 18:40 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-04-01 16:50 +0200
Re: text editors <tomas@tuxteam.de> - 2019-04-01 17:10 +0200
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 11:00 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-29 13:00 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:20 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-29 10:50 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 11:50 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-28 17:20 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 17:50 +0100
Re: text editors Curt <curty@free.fr> - 2019-03-28 18:20 +0100
Re: text editors Dekks Herton <dekkzz78@gmail.com> - 2019-03-29 10:40 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-03-29 20:30 +0100
Re: text editors Jude DaShiell <jdashiel@panix.com> - 2019-03-30 03:20 +0100
Re: text editors David Wright <deblis@lionunicorn.co.uk> - 2019-04-01 18:40 +0200
Re: text editors Dekks Herton <dekkzz78@gmail.com> - 2019-03-29 10:40 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-27 20:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-28 01:30 +0100
Re: text editors Dan Purgert <dan@djph.net> - 2019-03-27 12:10 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-28 07:30 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 11:40 +0100
Re: text editors "tomas@tuxteam.de" <tomas@tuxteam.de> - 2019-03-28 12:30 +0100
Re: text editors "tomas@tuxteam.de" <tomas@tuxteam.de> - 2019-03-28 13:00 +0100
Re: text editors Pierre Fourès <pierre.foures@gmail.com> - 2019-03-28 17:50 +0100
Re: text editors deloptes <deloptes@gmail.com> - 2019-03-28 21:40 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-27 10:00 +0100
Re: text editors Curt <curty@free.fr> - 2019-03-27 11:20 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-27 16:50 +0100
Understanding (some) Lisp (was: Re: text editors) rhkramer@gmail.com - 2019-03-28 17:10 +0100
Re: Understanding (some) Lisp Teemu Likonen <tlikonen@iki.fi> - 2019-03-28 17:20 +0100
Re: text editors Ben Finney <bignose@debian.org> - 2019-03-26 03:30 +0100
Re: text editors Teemu Likonen <tlikonen@iki.fi> - 2019-03-26 06:30 +0100
Re: text editors Tony Rowe <ay986@chebucto.ns.ca> - 2019-03-26 23:40 +0100
Re: text editors Stefan Monnier <monnier@iro.umontreal.ca> - 2019-03-28 01:30 +0100
Re: text editors John Hasler <jhasler@newsguy.com> - 2019-03-28 03:00 +0100
Re: text editors <tomas@tuxteam.de> - 2019-03-28 09:20 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-27 12:10 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 07:30 +0100
Re: text editors Erik Christiansen <dvalin@internode.on.net> - 2019-03-29 09:30 +0100
Re: text editors mick crane <mick.crane@gmail.com> - 2019-03-30 12:20 +0100
csiph-web