It was about 150 years ago that formal logic fused into mathematics. The language univerally used today is that of predicate logic in a form similar to the one introduced by Gottlob Frege. It can savely

Resources This is in line with the appeal by @math-trail yesterday, who want to improve the math and science channel curating. Not just articles in this case, but learning resources. Thus, here, I want

Art, Math, Algorithms :) I took a lot of math subjects of interest ...to legalize me posting under the art tag ;) So here's to all the topics you may want to put your toes in: Anyone interested in how

Hallo Leute, ich habe ein kleines Werkzeug geschrieben. Anleitung: Einfach einen Kommentar, der sowas wie @qed enthält posten, wobei ihr qed mit irgendeinem Steemit username austauscht. Den Kommentar ansonsten

Hello, boys and girls First things first: The right input is simply a reply with @qed, where you replace "qed" with any steemer username. And nothing else goes in the message. I'll say more about it in

Hello, programmers, I had announced the series on the Idris programming language that I started last month. That's a purely functional and dependently typed language. I also have the Installation guide

Hello, math interested people of steemit Preface: I might lack context, in which case I'll be filled in at the end of the day. The issue It's rather annoying that there are 3 tags on steemit which have

Hello, curious steemers I announced the foundations of math series in the video in Steemit series on Mathematics, Types & Quantum electrodynamics and posted the first proper episode. Today I do a fun post

Hallo Leute! Ich hab mich vor 3 Tagen angemeldet, gerade den deutsch tag gesehen und wollte mich also mal vorstellen. Ich bin Wiener, arbeite im Augmented Reality Bereich (wie Pokemon go, aber ohne Pokemon)

Previously Hello guys! This is the second post in the series I announced in my video yesterday Steemit series on Mathematics, Types & Quantum electrodynamics Philosophy What is the nature of "mathematical

Hello steemit! Ever regularly browsed websites that were set up with an API so that the community could download and work with json data locally? Didn't know how to set up your system to have it periodically

Introduction Hello, folks of steemit! I'm going to do a series with on and for this platform that has been a long way coming.  It will start very basic and eventually bootstrap statistical physicsfrom

It's a bit odd that you can clean the title and content of posts a long time after the fact. On steemit, of all places.

Hello, steemit programmers! I had already announced the series on the Idris programming language that I started last month. I also have the Installation guide for Haskell, Idris and Atom out of the way.

Hello, steemit! Yesterday I announced the series on the Idris programming language. In todays video I go through the installation on Windows and Mac. In fact, I also show the installation of the related

Introduction Hello programmers and mathematically inclined folks of steemit! In the second half of this year, I will go through the newly released book Type-Driven Development with Idris, thereby introducing

I'm quite afraid I'll write a bunch of articles on steemit and later discover I'd rather go back and edit every single one, just because I couldn't see there's a better practice to do things on this platform.

Confusion :/ I have the feeling I don't really know how things work around here, but I think the best will be if I jump head first into cold water and see what happens. Let's keep this short :) I'm an