Viewing profile — Wiskerz
Wiskerz
HN member- Joined
- Sat, Aug 15, 2015, 8:09 PM UTC
- HN karma
- 1
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About Wiskerz
No profile information was provided.
Recent public activity
-
comment
Comment #10066886
Unless you are studying the meaning of meaning, in which case the goal is the (second) meaning. (i.e https://en.wikipedia.org/wiki/Proof-theoretic_semantics ) I may be wrong though…
-
comment
Comment #10066838
As far as my limited knowledge permits, it may be that meaning does motivate the creation of the said symbols. A problem therefore can motivate the creation of a full set of symbol…
-
comment
Comment #10066665
Meaning is not something that is particularly an end goal. That is why there is specific differenciation between the syntax (structure) and its semantics. Once you isolate them, on…