Propositional logic by Ciro Santilli 37 Updated +Created
This is the part of the formalization of mathematics that deals only with the propositions.
In some systems, e.g. including Metamath, modus ponens alone tends to be enough, everything else can be defined based on it.
Fantasy by Ciro Santilli 37 Updated +Created
Football by Ciro Santilli 37 Updated +Created
Football is a synonym for association football, can we be done with that! The word "soccer" is an aberration.
Hunt by Ciro Santilli 37 Updated +Created
Évariste Galois by Ciro Santilli 37 Updated +Created
Paul Erdős by Ciro Santilli 37 Updated +Created
Dilbert by Ciro Santilli 37 Updated +Created
Cross product by Ciro Santilli 37 Updated +Created
L'Hôpital's rule by Ciro Santilli 37 Updated +Created
Hackster.io by Ciro Santilli 37 Updated +Created
Usenet by Ciro Santilli 37 Updated +Created
Computer by Ciro Santilli 37 Updated +Created
The artistic instrument that enables the ultimate art: coding, See also: Section "The art of programming".
Much more useful than instruments used in inferior arts, such as pianos or paintbrushes.
Unlike other humans, computers are mindless slaves that do exactly what they are told to, except for occasional cosmic ray bit flips. Until they take over the world that is.
Video 1.
A computer is the equivalent of a bicycle for our minds by Steve Jobs (1980)
Source. Likely an excerpt from an interview done for a documentary in 1980. TODO exact source.
Video 2.
Steve Jobs talking about the Internet (1995)
Source.
The web is incredibly exciting, because it is the fulfillment of a lot of our dreams, that the computer would ultimately primarily not be a device for computation, but [sic] metamorphisize into a device for communication.
also:
Secondly it exciting because Microsoft doesn't own it, and therefore there is a tremendous amount of innovation happening.
then he talks about the impending role for online sales. Amazon incoming.
Computers basically have two applications:
Generally, the smaller a computer, the more it gets used for communication rather than computing.
The early computers were large and expensive, and basically only used for computing. E.g. ENIAC was used for calculating ballistic tables.
Communication only came later, and it was not obvious to people at first how incredibly important that role would be.
This is also well illustrated in the documentary Glory of the Geeks. Full interview at: www.youtube.com/watch?v=TRZAJY23xio. It is apparently known as the "Lost Interview" and it was by Cringely himself: www.youtube.com/watch?v=bfgwCFrU7dI for his Triumph of the Nerds documentary.
How to teach / Let students learn by teaching by Ciro Santilli 37 Updated +Created
Tell students to:
  • make suggestions to the course material themselves, since you have used text and published your source.Review their suggestions, and accept the best ones.
  • answer the questions of other students on your online forum. Let them work instead of you.
Praise those that do this very highly, and give them better grades if you have that superpower.
This is part of a larger concept Ciro Santilli holds dear: don't just consume, but also produce.
Whatever you do, even if it is playing video games: if you manage to produce related content that will interest other people, and possibly allow you to get paid, it will much much fun to do that thing.
How to teach / Search before creating by Ciro Santilli 37 Updated +Created
Search a lot first, and only create your own when you can't find something that suits you.
Someone else has already written everything you can come up with.
And if you do find something useful that you want to modify, propose your modifications to the author: they can also be useful to them and others.
How to teach / Use the CC Attribution-ShareAlike license by Ciro Santilli 37 Updated +Created
This way people have to link back to you, which makes you more famous.
And they can't steal your material without giving anything back.
This is what Wikipedia and Stack Exchange use.
Commutative property by Ciro Santilli 37 Updated +Created
Direct product of groups by Ciro Santilli 37 Updated +Created
Vertex by Ciro Santilli 37 Updated +Created

Unlisted articles are being shown, click here to show only listed articles.