Post has attachment

The Teaching of the Transsciences has been extinguished in the UK.

My University banned me from teaching transmathematics in first-year courses, then they banned me from teaching it in second-year courses, now they have closed my final-year course in the transsciences. This extinguished the teaching of all trans sciences in the UK.

Post has attachment

How is transmath related to homotopy type theory?

How is transmath related to type systems with global/local contexts, effects, and coeffects?

Post has attachment
Para entrar na história: aos 26 de março de 2018, foi defendida na Universidade Federal de Mato Grosso a primeira dissertação de mestrado que relaciona Filosofia com os Números Transreais. A dissertação foi orientada por mim, e o foi defendida pelo meu orientando Jonas Junior Mendes.
Mais uma vitória dos transreais!
Veja o link:

To enter into History: on March 26th, 2018, the first Master's thesis relating Philosophy with Transreal Numbers was defended at the Federal University of Mato Grosso. The dissertation was guided by me, and it was defended by my guiding Jonas Mendes.
Another victory of Transreal Numbers!
See the link:

Is anybody in this group publishing to the math subject class in arXiv?

Merry Christmas to nullity and all!

Starting in 2017, I gave a final-year, undergraduate module in Transcomputation, at the University of Reading, England. The lectures were given in ten of two hour blocks. The first hour of each block was a lecture and the second hour was either an exercise class or seminar to reinforce the lecture. Hence only some of the lectures below are accompanied by exercise sheets. Many of the exercises have answer sheets but some of the exercises were entirely open ended so have no answer sheet.

Feel free to comment on these lectures.

Post has attachment
Wait while more posts are being loaded