Translate to multiple languages

Subscribe to my Email updates
Enjoy what you've read, make sure you subscribe to my Email Updates

Wednesday, April 08, 2020

New book: Philosophy Of Mathematics (Princeton Foundations of Contemporary Philosophy | Book - Amazon

Check out this book entitled Philosophy of Mathematics (Princeton Foundations of Contemporary Philosophy by Øystein Linnebo, Professor - Philosophy.

Philosophy Of Mathematics
(Princeton Foundations of Contemporary Philosophy
A sophisticated, original introduction to the philosophy of mathematics from one of its leading thinkers.

Mathematics is a model of precision and objectivity, but it appears distinct from the empirical sciences because it seems to deliver nonexperiential knowledge of a nonphysical reality of numbers, sets, and functions. How can these two aspects of mathematics be reconciled? This concise book provides a systematic, accessible introduction to the field that is trying to answer that question: the philosophy of mathematics.

Publisher: Princeton University Press (March 24, 2020)

Source: Amazon

The Truth About Isaac Newton’s Productive Plague | Books & Culture - The New Yorker

The idea that the bubonic plague woke the brilliance in Newton is both wrong and misleading as a measure of how well we apply ourselves during our own plague spring, reports Thomas Levenson, professor of science writing at M.I.T.
The idea that the bubonic plague woke the brilliance in Isaac Newton is both wrong and misleading.
Photo:  Oxford Science Archive / Getty
On July 25, 1665, a five-year-old boy named John Morley, of the parish of the Holy Trinity in Cambridge, England, was found dead in his home. When town officials examined his corpse, they noted black spots on his chest, the unmistakable mark of the bubonic plague. Morley was the first known case and death from the disease in Cambridge that year: the signal that London’s outbreak that spring had advanced to the city. Almost at once, the townspeople raced to isolate themselves in the countryside. Among those on the run: a young scholar of Trinity College named Isaac Newton. Newton’s home, a farm called Woolsthorpe, lay about sixty miles north of the university. Suitably distant from the nearest town, it was where, in near total solitude, he would invent calculus, create the science of motion, unravel gravity, and more. The plague created the conditions in which modern science could be created. Or so the story goes.

Now, with the spread of the coronavirus imposing its own isolation, Newton’s miracle year is being touted as a model. This cheery piece in the Washington Post is typical of many articles circulating right now: “So if you’re working or studying from home over the next few weeks, perhaps remember the example Newton set.” Social media, naturally, has been more extreme. Get that novel written, or that screenplay, and, if you don’t, you should at least refocus your life and find your purpose. If not, you’ve failed the take-home epidemic exam. Newton could shift the universe. Shouldn’t we be able to organize our closets?

No. Partly because none of us, along with almost everyone in human history, will ever approach his level of achievement. But, more deeply, the idea that the plague woke the brilliance in Newton is both wrong and misleading as a measure of how well we apply ourselves during our own plague spring. The apple-falling-on-the-head element is part of the problem. There really was an apple tree across the lane from Newton’s front door; a little orchard still grows there. Newton himself, very late in life, told the story...

Doing the work was what mattered, and Newton did it as a student in Cambridge before the plague, he persisted at Woolsthorpe, and he kept going upon his return to college. He wrote much later, referring to the plague years, that he had been “in the prime of my age for invention & minded Mathematicks & Philosophy more than at any time since.” That prime lasted for half a decade at least. Newton was able to do what he did not because of where he happened to find himself during the plague but because of who he was—one of the handful of greatest mathematicians and natural philosophers of all time, who, for several years, was able to do almost nothing else with his time but think, reason, and calculate. 
Read more...  

Source: The New Yorker   

Tableau To Offer 90 Days Of FREE E-Learning | e-learning - Analytics India Magazine

Sejuti Das, Senior tech journalist at Analytics India Magazine (AIM) inform, During this unprecedented time, in an effort to help students to build skills for the future, Tableau is now offering 90 days of free eLearning

According to their website, “As the global economy recovers, data skills will be in high demand. So, now is a great time to learn Tableau. And that’s why, to gain the ability to confidently answer the questions you have of your business’ data during this unprecedented time, or build your skills for the future, we’re giving you 90 days of free eLearning.”

To get this 90 days free, users just have to create an ID and log in to your TableauID account and can start learning and build their Tableau skills. In order to avail it, users also have to enter an access code — ‘2020elearning’...

Tableau eLearning has been designed as an interactive web-based training for users to consume at their own pace.

Source: Analytics India Magazine

imPower Technologies Embraces Switch to Online Learning | Contributors - IT Jungle

Traditional schools around the world are in turmoil as a result of the COVID-19 lockdown and the sudden switch to online learning, says Alex Woodie, Senior Editor at IT Jungle. 

Photo: Stuart Miles at
For Jim Buck and his new IBM i training venture, imPower Technologies, the sudden popularity of virtual education validates the work he and his colleagues have done to build an Internet-based IBM i education operation.

“We’ve been preparing for this unknowingly for years now,” imPower Technologies Chief Operating Officer Michelle Lyons says. “Had we known, we couldn’t have prepared better.”...

imPower students are free to peruse the course material — including written material and pre-recorded video lectures — at their own leisure. This part of the class is delivered via the Moodle LMS. For lab assignments, students switch over to imPower’s IBM i environment, where they use IBM tools like ACS and RDi to access the IBM i server and develop programs for it. When students complete their lab work on the IBM i server, they switch back over to the LMS.
Read more... 

Source: IT Jungle

Harrogate College takes digital approach | Education - Bdaily

Students at Harrogate College are continuing to work towards their goals through the effective use of online learning by Luminate Education Group.

Students at Harrogate College are continuing to work towards their goals through the effective use of online learning.
Digital learning through Google Classroom has been included in students’ learning throughout their courses, allowing for a smooth transition to the online model during the college closure. During the first two weeks of lockdown, the college has recorded over 2000 online interactions between staff and students.

Google Classroom replicates a typical learning environment where teachers create classes, distribute work and discuss feedback. Teachers regularly encourage students to improve their critical thinking and debating skills through live class discussions...

Danny Wild, Principal of Harrogate College, said: “It has been incredible to see staff and students come together to support each other. Teachers are making a huge effort to take their classes fully online. The college quickly purchased additional equipment including laptops and dongles for staff and students and distributed these before lockdown. Home deliveries of equipment have also been made, ensuring students can continue to learn.

Source: Bdaily

Tuesday, April 07, 2020

Computer science, software and mathematics: Interactive proof assistants | Research & Innovation - Open Access Government

Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, provides us with further insight about interactive proof assistants, within the wider field of computer science, software and mathematics.

Formal software correctness is gaining traction, with a paroxysmal application to lethal issues in medicine and autonomous vehicles. Interactive proof assistants based on type theory have shown their effectiveness to prove the correctness of important pieces of software like a C compiler [Ler09] or a software-to-hardware toolchain [DeepSpec]. However, they suffer from a major limitation: the absence of effects.

Effects and proof assistants: An impossible marriage? The general acceptance of interactive proof assistants by non-experts suffers from a major limitation, the absence of effects in their type theory. Indeed, some basic programming paradigms – such as exceptions or mutable memory – are absent from the language of type theory, leading to efficiency issues. Dually, some basic logical principles – such as the excluded middle or the axiom of choice – are also absent from the language, leading to expressivity issues. Taking aside the lack of efficiency and expressivity, the absence of effects forces developers to stay in the “all programs and proofs must be fully specified and terminating” paradigm, which prevents quick prototyping and testing before entering the full certification process...

A more conceptual cause of the incompatibility between effects and type theory lies in what is known as the Curry-Howard correspondence, which tells us that proofs and programs are the very same things. Therefore, extending the expressivity of the language from a programming point of view amounts to extending the expressivity of the logic, which can lead to inconsistencies if the extension is not compatible with the rest of the logical system.

Source: Open Access Government

Universities the world needs: UT Dallas Computer Science | University - Study International News

This story is part of our “Universities the world needs” series which profiles universities that make an impact through their innovative research culture and curriculum.

Throughout their University of Texas at Dallas (UT Dallas) degree and after graduation, PhD students from the Department of Computer Science are motivated to master all corners of computer science by UTDallas – Department of Computer Science.

Photo: UT Dallas Department of Computer Science
Gbadebo Gbadero Ayoade, a UT Dallas PhD in Computer Science graduate from Nigeria took a keen interest in the fast-growing field of cybersecurity.

His growing passion for cybersecurity evolved into a research project with fellow computer science researchers, including Eugene McDermott Professor (endowed chair) of Computer Science Dr Kevin Hamlen.

With a dedicated research team to support him, Gbadebo chose to look at the most common, global issue in cybersecurity: Computer hackers...

Research that makes a real-world difference
UT Dallas Department of Computer Science is not the type of department to shy away from 21st century challenges. They embrace them head on, with world-class research departments, teams and initiatives.

Their research runs the gamut, spanning over a large number of subjects such as Artificial Intelligence, Natural Language Processing, Machine Learning and Data Science, Cybersecurity, Computational Geometry, Software Engineering and Real-time Systems. 


Source: Study International News

6 Free Courses to Help You Manage Stress and Build Mindfulness Into Your 'New Normal' | LinkedIn Learning Resources - The Learning Blog

Over the past month, three-times as many people watched mindfulness and stress management courses on LinkedIn Learning than the previous month, recommends Hari Srinivasan, Vice President of Product Management - Linkedin Learning 

6 Mindfulness Resources to Help You Adapt to the ‘New Normal’
Why? Well, we think it’s safe to assume that people are looking for ways to navigate this  new normal.

It’s tough. The boundaries between work and personal are more blurred than ever...

To help professionals get the support they need, we’re sharing these six free courses on mindfulness and stress management to help you build up your self-care toolbox—global pandemic or not. Experts will help you learn how to: 
  • Cultivate mindfulness practices to increase focus, remain grounded in change and ambiguity, and manage emotional triggers
  • Understand the impact of a mindful physical workspace and how to create one
  • Manage stress and get 'unstuck' when you’re overwhelmed
  • Build up your energy reserves so you can show up the way you want to with colleagues and loved ones 

Source: The Learning Blog

Monday, April 06, 2020

MCO: E-learning resources for students and academics to explore | Education - New Straits Times

Rayyan Nabeelah Rafidi, Writer at the New Straits Times summarizes, The rapidly growing Covid-19 outbreak has led to the closure of academic institutions and the disruption of on-campus classroom activities. 

MCO: E-learning resources for students and academics to explore

With the Movement Control Order being enforced from March 18 to April 14, it’s time for educators and students to dive into the world of e-learning.

There are many resources available online, ranging from week-long courses to project-based activities. Higher Ed puts together seven free e-learning platforms that students can explore.

Class Central is a hub of thousands of free online courses and massive open online courses, or MOOCs, from top universities namely Harvard University, Stanford University and Imperial College London as well as organisations such as IBM...

Once users click on the link, they will be taken to the page of the course providers such as EdX and Coursera. Students can receive course recommendations, track subjects and courses, and leave reviews.

Source: New Straits Times  

Coronavirus: What do the statistics show? | The Brussels Times

Every day we read about new cases of infected persons, hospitalised patients, some of them in intensive care, and, unfortunately, people with or without underlying health issues, who have passed away because of the virus by The Brussels Times.

Coronavirus: What do the statistics show?
The figures are in absolute numbers and rates and you have to be a statistician or epidemiologist to understand them. The only certain figures are the number of patients in hospitals and mortalities.

The figures on new cases reflect the testing for the coronavirus and is limited to those with symptoms. Test kits, especially the reagents, are still in short supply and all countries are trying to increase the number of tests.

The actual number of infected persons is estimated to 3% to 10% or more depending on country and could increase to 50% or more if the mitigation measures taken, such as lockdowns and social distancing, are not effective...

But in the coming days, we should hopefully see declining growth rates. According to the American John Hopkins Coronavirus Resource Center (link), which publishes daily updates of the spread of the coronavirus, flattening the curve involves reducing the number of new COVID-19 cases from one day to the next.

Source: The Brussels Times