golem.ph.utexas.edu
The HoTT Book | The n-Category Café
https://golem.ph.utexas.edu/category/2013/06/the_hott_book.html
The n-Category Café. A group blog on math, physics and philosophy. Skip to the Main Content. Skip to the content. These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently. Supported in Mozilla. My best suggestion (and you will. Xab; Quasicrystals and the Riemann Hypothesis.
ankylodoxy.wordpress.com
Positive bias | ankylodoxy
https://ankylodoxy.wordpress.com/2013/03/24/positive-bias
The Gospel according to Mike. Laquo; More clarification. 20130825 Experiencing and retaining a mighty change of heart. Moroni promises that if ye would. Remember how merciful the Lord hath been unto the children of men, from the creation of Adam even down until the time that ye shall receive these things,. Ponder it in your hearts,. Ask God, the Eternal Father, in the name of Christ, if these things are not true,. With a sincere heart, with real intent,. Having faith in Christ,. From your own site. Becky...
ankylodoxy.wordpress.com
Uchtdorf on testimony | ankylodoxy
https://ankylodoxy.wordpress.com/2014/10/09/194
The Gospel according to Mike. Laquo; On the corporeal nature of the Father. Women, the sacrament, the staff and the stay. In the first session of conference. This weekend, Elder Uchtdorf. Addressed the topic of getting a testimony. He asked the same questions I did:. It seems to be a trait of humanity to assume that we are right even when we are wrong. And if that is the case, what hope is there for any of us? Is it possible to find truth? To overcome those biases. Third, you must ask your Heavenly Fathe...
ncategory.wordpress.com
Stack Semantics | The n-Category Café
https://ncategory.wordpress.com/2010/03/18/stack-semantics
A group blog on math, physics and philosophy. Laquo; Loose Ends. Intrinsic Volumes and Weyl’s Tube Formula (continued). Today I’m blogging from Washington D.C., at the Annual Meeting. And not-entirely-coincidentally, at long last I’ve put online a draft of my (first) paper about the stack semantics and comparing material and structural set theories. You can get it from my nlab page:. There are also slides from today’s talk and one from last November. This entry was posted on March 18, 2010 at 8:53 pm and...
liberalaw.blogspot.com
LiberaLaw: Humanizing Air Travel
http://liberalaw.blogspot.com/2010/11/humanizing-air-travel.html
Commentary and debate: law, politics, public policy, and legal, moral, and political theory. Friday, November 19, 2010. It is gratifying in the extreme to see consumers responding in increasingly vociferous fashion to the accelerating dehumanization of air travel: kudos, in particular, to the founders of We Won’t Fly. It would be truly exciting if ordinary people managed to persuade the USG to retreat by ending the pat-downs and pornoscanners. But it’s never not. Our ability to check in at the last minut...
logic.dorais.org
HoTT Math 3: Unit group of a ring | François G. Dorais
http://logic.dorais.org/archives/1488
François G. Dorais. Mathematical Logic and Foundations. HoTT Math 3: Unit group of a ring. In this installment of HoTT Math. We are taking one more step toward elementary field theory by exploring the unit group of a ring. A commutative (unital) ring is a set (R ). With two constants ( mathsf{O}, mathsf{I}:1 to R ). One unary operation ({- square}:R to R ). Two binary operations ({ square square},{ square cdot square}:R times R to R ). However, as we discussed last time, this is not necessary since the p...
logic.dorais.org
HoTT Math 2: More on equational logic | François G. Dorais
http://logic.dorais.org/archives/1476
François G. Dorais. Mathematical Logic and Foundations. HoTT Math 2: More on equational logic. Last time, I promised we would look at fields. I have to delay this by one or two installments of HoTT Math since there is so much to say and I am struggling to keep these short. This edition of HoTT Math is a continuation of the first. The main lesson of HoTT Math 1. Is a sequence ( sigma ). Of sets indexed by natural numbers. The elements of the set ( sigma n ). Are intended to be symbols for (n ). Can be str...
logic.dorais.org
Homotopy Type Theory | François G. Dorais
http://logic.dorais.org/archives/1425
François G. Dorais. Mathematical Logic and Foundations. After a productive year at the Institute for Advanced Study, the Univalent Foundations Program has written a book on Homotopy Type Theory. HoTT) The foreword gives a succinct description of the purpose of this book:. Having addressed all the necessary caveats, let’s talk about why this book is interesting and why you should read it…. What is so hot about HoTT? The most interesting aspect from my point of view is that HoTT fully supports. Is actually...
SOCIAL ENGAGEMENT