https://imkt.org/Activities/SemanticMathematics/wiki/api.php?action=feedcontributions&feedformat=atom&user=PIon 2026-05-31T01:25:15Z User contributions MediaWiki 1.44.0 https://imkt.org/Activities/SemanticMathematics/wiki/index.php?title=Fields_2016_Workshop_Feedback&diff=5 2016-06-08T02:20:26Z

<p>PIon: </p> <hr /> <div><br /> Please add feedback commentary about raised by the <br /> Feb 2016 [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Fields Workshop] and its <br /> [http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf White Paper]. The thread of <br /> comments should be here but feel free to create ancillary wiki pages with material you wish to refer to. If we date and sign our comments then <br /> the discussion should be clearer.<br /> <br /> === Comments List ===<br /> <br /> <br /> ==== 7 June 2016: Patrick Ion ====<br /> The workshop's white paper took much longer to produce for reasons at least partly described in its<br /> final public version. I found the workshop itself very stimulating, instructive and hopeful. But it does seem<br /> that others were not as convinced as I that semantic capture at various levels of formality is well worth <br /> attempting.</div>

PIon https://imkt.org/Activities/SemanticMathematics/wiki/index.php?title=Fields_2016_Workshop_Feedback&diff=4 2016-06-08T02:19:43Z

<p>PIon: /* Comments List */</p> <hr /> <div>== Fields 2016 Workshop Feedback ==<br /> Please add feedback commentary about raised by the <br /> Feb 2016 [http://www.fields.utoronto.ca/activities/workshops/semantic-representation-mathematical-knowledge-workshop Fields Workshop] and its <br /> [http://imkt.org/Activities/SemanticMathematics/Workshops/2016-02-03-Fields/whitepaper.pdf White Paper]. The thread of <br /> comments should be here but feel free to create ancillary wiki pages with material you wish to refer to. If we date and sign our comments then <br /> the discussion should be clearer.<br /> <br /> === Comments List ===<br /> <br /> <br /> ==== 7 June 2016: Patrick Ion ====<br /> The workshop's white paper took much longer to produce for reasons at least partly described in its<br /> final public version. I found the workshop itself very stimulating, instructive and hopeful. But it does seem<br /> that others were not as convinced as I that semantic capture at various levels of formality is well worth <br /> attempting.</div>

PIon