RT @leithaus: "Genius has an important role in developing mathematics, but actually the knowledge itself is the result of the ac
19 Sep 2021, 18:12
RT @leithaus: “Genius has an important role in developing mathematics, but actually the knowledge itself is the result of the activity of a…
Same news in other sources
2RChainREV #951
19 Sep 2021, 18:13
RT @11Shixi: @SBF_FTX RChain's process calculus provides benefits of both - it is easy to represent VM state, and the state transitions are…
RT @11Shixi: @SBF_FTX RChain's process calculus provides benefits of both - it is easy to represent VM state, and the state tran
RT @11Shixi: @SBF_FTX RChain's process calculus provides benefits of both - it is easy to represent VM state, and the state transitions are…
RChainREV #951
19 Sep 2021, 18:12
RT @leithaus: @JadeMasterMath More frivolously, if we had a properly compositional theory of categories, with a two-level type decompositio…
RT @leithaus: @JadeMasterMath More frivolously, if we had a properly compositional theory of categories, with a two-level type d
RT @leithaus: @JadeMasterMath More frivolously, if we had a properly compositional theory of categories, with a two-level type decompositio…