| Liste des Groupes | Revenir à c theory |
On 2026-04-15 14:37, olcott wrote:Fwiw, I showed a color book of some of my vector fields here. Olcott can do something similar? Well, welcome to margin ville... I got rejected for off margins, gutter, ect... some times. Uggg, but I shall try, try again!On 4/15/2026 2:13 PM, André G. Isaak wrote:So what are these divergent views and how exactly have you unified them?On 2026-04-15 11:24, olcott wrote:>On 4/15/2026 11:51 AM, André G. Isaak wrote:>On 2026-04-15 06:02, olcott wrote:>
>Like I said until you become an expert in>
proof theoretic semantics you will remain
a clueless wonder.
>
You've said this (or something similar) to several different posters now; but bear in mind that you yourself only became aware of the existence of proof-theoretic semantics a few months ago which means that you have hardly had enough time to become an expert in PTS.
It turns out that all of my ideas have been fully anchored
in exactly proof theoretic semantics the whole time.
They really haven't been.
>
You stumbled upon a framework which, in your mind, bore some vague resemblance to your own ideas, and then you projected your own ideas onto that framework. But it's very clear from what you've posted here that you don't really understand PTS as used by, e.g. Schroeder- Heister or Francez as you keep attributing things to PTS which they very clearly don't endorse.
>
Try to explain the details of this.
I am referring to aspects where Professor Dag Prawitz
and professor Peter Schroeder-Heister may have divergent
views. My perspective unifies these divergent views.
If you ever realize your plans to publish your work, you would be expected to do just that. PTS is not sufficiently well-known that you could get away with simply assuming it in a published paper; you would need to lay out the details of this theory.>Also>
my current ideas have taken the exact PTS basis and extended
them much more.
Well, until you actually clarify what *you* think that PTS basis is
I cannot teach my reviewers the entire PTS basis.
Doing so here would be good practice since its something you will eventually have to do anyways.
André
Les messages affichés proviennent d'usenet.