Omvärldsbevakning

How do mathematicians know that something they prove is actually true?

Dr. Voevodsky realized that human brains could not keep up with the ever-increasing complexity of mathematics. Computers were the only solution. So he embarked on an enormous project to create proof-checking software so powerful and convenient that mathematicians could someday use it as part of their ordinary work and create a library of rock-solid mathematical […]

How do mathematicians know that something they prove is actually true? Read More »

Regeringen beslutar om nationell digitaliseringsstrategi för skolväsendet

Regeringens övergripande mål för strategin är att det svenska skolväsendet ska vara ledande i att ta vara på de möjligheter som digitaliseringen av samhället medför. Barn och elever ska uppnå en hög digital kompetens, och kunskapsutvecklingen och likvärdigheten ska stärkas. »»» Läs vidare [Regeringen]

Regeringen beslutar om nationell digitaliseringsstrategi för skolväsendet Read More »

”Få användare vet hur data samlas in, används och delas”

En av huvudpunkterna på Forskardagen 6 december är doktorand Farzaneh Karegars föreläsning ”Truth or dare?” om den ojämna kampen mellan stora datainsamlande företag och individen.Farzaneh och hennes kollegor har arbetat fram verktyget Data track som hjälper användare att ladda ned och redigera personlig data från till exempel Facebook. Verktyget har också använts i en studie

”Få användare vet hur data samlas in, används och delas” Read More »