From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: questions on input/output
Date: Sat, 06 Feb 2021 12:26:19 -0800 [thread overview]
Message-ID: <87pn1dlz84.fsf@nightsong.com> (raw)
In-Reply-To: 5d69f5a4-6666-4d13-810d-cb82032bff22n@googlegroups.com
Mehdi Saada <00120260a@gmail.com> writes:
> Or I would have started right away with effin' SPARK and proof
> theory. Would you suggest that to beginners :-D ?
I don't know. To a pure beginner, probably not, but I wouldn't have
suggested Ada either.
SPARK isn't that connected to proof theory--it's just a program that
verifies contracts on Ada functions. Proof theory as a topic in logic
is quite a bit different. There's a book I like called "An Introduction
to Proof Theory" or something close to that, by Herman Ruge Jervell.
You might look for it. But, I think you have to have already studied
some logic to make much sense of it.
next prev parent reply other threads:[~2021-02-06 20:26 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-05 22:50 questions on input/output Mehdi Saada
2021-02-05 23:36 ` Jeffrey R. Carter
2021-02-06 0:59 ` Mehdi Saada
2021-02-06 1:34 ` Mehdi Saada
2021-02-06 2:13 ` Paul Rubin
2021-02-06 7:21 ` J-P. Rosen
2021-02-06 9:36 ` Dmitry A. Kazakov
2021-02-06 10:38 ` AdaMagica
2021-02-06 11:37 ` Mehdi Saada
2021-02-06 11:51 ` Mehdi Saada
2021-02-06 18:10 ` Paul Rubin
2021-02-06 18:55 ` Mehdi Saada
2021-02-06 20:26 ` Paul Rubin [this message]
2021-02-07 8:52 ` Mehdi Saada
2021-02-07 20:38 ` Paul Rubin
2021-02-07 9:55 ` Gautier write-only address
2021-02-07 22:54 ` Mehdi Saada
2021-02-06 11:47 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox