Outer Web | Explore

Explore >> Select a destination

You are here		richardzach.org An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs - Richard Zach
\|	\|	mml-book.com There and Back Again: A Tale of Slopes and Expectations \| Mathematics for Machine Learning	4.3 parsecs away Travel
\|	\|	Companion webpage to the book "Mathematics for Machine Learning". Copyright 2020 by Marc Peter Deisenroth, A. Aldo Faisal, and Cheng Soon Ong. Published by Cambridge University Press.	4.3 parsecs away Travel
\|	\|	consequently.org Logical Pluralism - consequently.org	3.3 parsecs away Travel
\|	\|		3.3 parsecs away Travel
\|	\|	inquiryintoinquiry.com Praeclarum Theorema \| Inquiry Into Inquiry	3.5 parsecs away Travel
\|	\|	Introduction The praeclarum theorema, or splendid theorem, is a theorem of propositional calculus noted and named by G.W.Leibniz, who stated and proved it in the following manner. If a is b and d is c, then ad will be bc. This is a fine theorem, which is proved in this way: a is b, therefore...	3.5 parsecs away Travel
\|	\|	mrreddy.com SHINE Trust speech at the House of Lords - Mr Reddy Maths Blog	31.8 parsecs away Travel
\|		[AI summary] A maths teacher discusses the educational challenges children face during the transition to secondary school and promotes the SHINE Trust's initiative to help teachers create and scale scalable solutions for disadvantaged students.	31.8 parsecs away Travel