[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [OFFTOPIC] Re: Appending lists
From: |
Emanuel Berg |
Subject: |
Re: [OFFTOPIC] Re: Appending lists |
Date: |
Sat, 19 Jun 2021 02:04:26 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Stefan Monnier wrote:
> https://www.quantamagazine.org/does-time-really-flow-new-clues-come-from-a-century-old-approach-to-math-20200407/
>
> [ The relationship being that type theory is generally
> associated with constructive logic rather than with
> classical logic. ]
Eh, "type theory"? Are we talking types like in
a programming language? There is a theory behind that?
I always thought it was just a matter of arranging 0s and 1 in
a way that was agreed-upon locally to denote that something is
something so it can be recognized and operated upon/used in
certain ways?
Much like a network communication protocol. Like question one,
what does the messages look like (how are they organized)?
Question two, in what order are they supposed to come?
Question three, what does it all mean?
And that's it?
Well, maybe there is a theory to networks as well, now that
I think about it. Of course there is. Bad example. But that
still feels more theoretic than types, with node diagrams and
stuff...
--
underground experts united
https://dataswamp.org/~incal
- Re: Appending lists, (continued)
- Re: Appending lists, Stefan Monnier, 2021/06/16
- Re: Appending lists, tomas, 2021/06/16
- Re: Appending lists, Stefan Monnier, 2021/06/16
- Re: Appending lists, tomas, 2021/06/16
- Re: Appending lists, Emanuel Berg, 2021/06/16
- [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/16
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/17
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists,
Emanuel Berg <=
- Re: [OFFTOPIC] Re: Appending lists, Eduardo Ochs, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: [OFFTOPIC] Re: Appending lists, Arthur Miller, 2021/06/21
- Re: [OFFTOPIC] Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, tomas, 2021/06/17
- Re: Appending lists, Emanuel Berg, 2021/06/18
- Re: Appending lists, Stefan Monnier, 2021/06/18
- Re: Appending lists, tomas, 2021/06/19
- Re: Appending lists, Emanuel Berg, 2021/06/16