Computer algebra system software for Linux | Computer algebra systems
KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number fields, in global function fields, and in local fields. KASH is the associated command line interface. They have been developed by the Algebra and Number Theory research group of the Institute of Mathematics at Technische Universität Berlin under the project leadership of Prof. Dr . Kant is free for non-commercial use. (Wikipedia).
Michael Joswig - What is Mathematical Software
What Is Mathematical Software? A short answer to this question is: Mathematical Software is what mathematics receives as a benefit from the digital age. This is relevant because Mathematical Software is useful in many ways. For instance, Mathematical Software serves as a tool to support
From playlist Research Spotlight
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Many of us strive for perfection in software development, is this really an appropriate target to aim for? Perfect code is an illusion. Software engineering is an empirical discipline, and the software we create is only ever correct in a narrow context, from a technical and a social perspe
From playlist Software Engineering
Quantum Computer in a Nutshell (Documentary)
The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr
From playlist Quantum computing
Unix for Programmers - My Computer Science Degree in the Real World
I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu
From playlist Computer Science
APIs for Beginners - How to use an API (Full Course / Tutorial)
⚠️ Watch the UPDATED version of this course: https://youtu.be/WXsD0ZgxjRw What is an API? Learn all about APIs (Application Programming Interfaces) in this full tutorial for beginners. You will learn what APIs do, why APIs exist, and the many benefits of APIs. APIs are used all the time i
From playlist Computer Science Concepts
What Is Infrastructure As Code?
Infrastructure as code is a central idea in Continuous Delivery. The environment in which our software exists is a dependency of our software, so we need to control that environment as far as we can. If our aim is to release software reliably and repeatedly we need to control the variables
From playlist Software Engineering
What Is Quantum Computing | Quantum Computing Explained | Quantum Computer | #Shorts | Simplilearn
🔥Explore Our Free Courses With Completion Certificate by SkillUp: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=QuantumComputingShorts&utm_medium=ShortsDescription&utm_source=youtube Quantum computing is a branch of computing that focuses on developing computer tech
From playlist #Shorts | #Simplilearn
Do We Need Ethical Principles? Richard Rorty (1994)
Richard Rorty gives a talk on ethics and ethical principles at the Vancouver Institute in 1994. Note, the introduction to the speaker has been edited out and the audio has been slightly improved. More details will be added later. 00:00 Talk 50:59 Q&A #Philosophy #Rorty #Ethics
From playlist Social & Political Philosophy
The Philosophy of Science - Hilary Putnam & Bryan Magee (1978)
In this program, Hilary Putnam discusses the philosophy of science with Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. Hilary Putnam was an influential American philosopher, as well as a mathematician and computer scientist. As a major figure in analytic
From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)
Can you read my mind? - Philosophy Tube
Is telepathy actually possible, or is it logically contradictory? Metaphysics Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32cX32PRBl1D4b4wr8DwhRQ4 The comment music this week is MC Hammer's "Can't Touch This". Twitter: https://twitter.com/PhilosophyTube 200 subscribers! Aw
From playlist KNOWLEDGE, LOGIC, & RELIGION
Philosophy and the Science of Human Nature (PHIL 181) Professor Gendler opens with a final criticism of Utilitarianism from Bernard Williams: in some cases, a good person should feel reluctant to do an act which brings about the greatest happiness, even if it is the right thing to do. T
From playlist Philosophy and the Science of Human Nature w/ Tamar Gendler
Immanuel Kant was acutely aware of living in an age when philosophy would need to supplant the role once played by religion. This helped him to arrive at his most famous concept: the ‘categorical imperative.’ If you like our films, take a look at our shop (we ship worldwide): https://goo.
From playlist WESTERN PHILOSOPHY
2 The Broader Philosophical Context - Kant's Critique of Pure Reason (Dan Robinson)
Dan Robinson gives the 2nd lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw The significant advances in physics in the 17th century stood in vivid contrast to the stagnation of tr
From playlist Kant's Critique of Pure Reason - Dan Robinson
3 Space, Time & the "Analogies of Experiences" - Kant's Critique of Pure Reason (Dan Robinson)
Dan Robinson gives the 3rd lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Kant's so-called "Copernican" revolution in metaphysics begins with the recognition of the observer's c
From playlist Kant's Critique of Pure Reason - Dan Robinson
4 Synthetic A Priori Judgments - Kant's Critique of Pure Reason (Dan Robinson)
Dan Robinson gives the 4th lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Kant claims that, "our sense representation is not a representation of things in themselves, but of th
From playlist Kant's Critique of Pure Reason - Dan Robinson
1 Just What is Kant's "Project"? - Kant's Critique of Pure Reason (Dan Robinson)
Dan Robinson gives the 1st lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Both sense and reason are limited. Kant must identify the proper mission and domain of each, as well as
From playlist Kant's Critique of Pure Reason - Dan Robinson
Philosophy and the Science of Human Nature (PHIL 181) The discussion of Kant from last lecture continues with a statement and explication of his first formulation of the categorical imperative: act only in such a way that you can will your maxim to be a universal law. Professor Gendler
From playlist Philosophy and the Science of Human Nature w/ Tamar Gendler
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers