ACMS Preliminary Call for Papers

Visit for details

Conference of the Association of Christians in the Mathematical Sciences

Indiana Wesleyan University, May 29-June 1, 2019

 The 22nd Biennial ACMS conference will be held at Indiana Wesleyan University in Marion, Indiana May 29-June 1, 2019. In the coming months, conference details will be posted at the website.

Call for Papers: At this time we are accepting proposals for talks. Proposals must include the presenter’s name, presentation title, and an abstract of at most 250 words. Please provide your abstract in Word or TeX/LaTeX. Most presentation timeslots will be 15 minutes plus a 5 minute transition time between speakers. Some timeslots of 25 minutes with a 5 minute transition will be available; please indicate if you would like to be considered for one of these longer presentations. Applications will be processed on a rolling basis in order to help those applying for funding at their institution; we will attempt to notify you within 2 weeks of submission whether your proposal has been selected for the conference (except for a longer pause during July 2018).

We are looking for presentations in the following general categories. Research talks should be targeted to an audience primarily of non-specialists.

  • Computer Science / Computer Science Education
  • Mathematics / Mathematics Education
  • Statistics / Statistics Education
  • Interaction of Faith and Discipline

There will be dedicated tracks in Computer Science as well as in Statistics/Data Science.

Proposals should be sent to melvin.royer(at) by February 15, 2019 with ACMS proposal in the subject line. Proposals received after February 15 will be considered if space remains.

Refereed Proceedings: Please note that the 2019 ACMS Proceedings will be refereed. To allow authors time to incorporate audience feedback into their paper, all submissions to the Proceedings will be due September 15, 2019. Submissions for the Proceedings should be in TeX or LaTeX; more details will be provided at a later date.

Topic Discussions: We are also accepting topics suggestions and volunteer leaders for several group discussions on subjects of common interest. These can also be sent to melvin.royer(at)

Costs: We are in the process of finalizing the cost of the conference but we estimate the costs to be approximately $140 for faculty and $50 for students for those registering before February 28, 2019. Room and Board (Wednesday dinner – Saturday breakfast) estimates are:

  • Meals, single or shared room with linens and pillow
    • Faculty: $175 per person
    • Students: $90 per person
  • Tuesday night room: $25 per person

Preconference Workshop: There will be two preconference workshops during the day of Wednesday, May 29. The estimated cost is $40 for faculty and $20 for students which includes Wednesday breakfast and lunch. The two workshops are

  • Professional development for graduates students and early career faculty
  • Programming and using R

We hope to start taking online conference registrations in August 2018. If you need to register before that time for funding purposes, please contact Jeremy Case jrcase(at)


Proving Math

From Stand to Reason

“What worldview makes the best sense of things like math? Certainly not materialism. Our worldview though, a worldview that entails both physical things and immaterial things, immaterial things that can be grounded in an intelligent, rational, reasonable God, that can make sense of things like math.”

I agree with his basic argument that math makes more sense in a theistic worldview. I also believe that there is actually a stronger argument that he can draw from rather than his apples example. There was an entire age of mathematics where mathematicians sought to eliminate any postulate (assumption) about mathematics and prove everything logically. Then Gödel came along and blew that ship out of the water (in part due to his Christian convictions). I talk about this significantly during the first unit of Geometry – mathematics is grounded on faith in something, it can’t stand by itself.

Snippet from

Gödel’s Incompleteness Theorem:

The #1 Mathematical Discovery of the 20th Century

In 1931, the young mathematician Kurt Gödel made a landmark discovery, as powerful as anything Albert Einstein developed. Gödel’s discovery not only applied to mathematics but literally all branches of science, logic and human knowledge. It has truly earth-shattering implications. Oddly, few people know anything about it. Allow me to tell you the story.

Mathematicians love proofs. They were hot and bothered for centuries, because they were unable to PROVE some of the things they knew were true. So for example if you studied high school Geometry, you’ve done the exercises where you prove all kinds of things about triangles based on a list of theorems. That high school geometry book is built on Euclid’s five postulates. Everyone knows the postulates are true, but in 2500 years nobody’s figured out a way to prove them. Yes, it does seem perfectly reasonable that a line can be extended infinitely in both directions, but no one has been able to PROVE that. We can only demonstrate that they are a reasonable, and in fact necessary, set of 5 assumptions.

Towering mathematical geniuses were frustrated for 2000+ years because they couldn’t prove all their theorems. There were many things that were “obviously” true but nobody could figure out a way to prove them.

In the early 1900′s, however, a tremendous sense of optimism began to grow in mathematical circles. The most brilliant mathematicians in the world (like Bertrand Russell, David Hilbert and Ludwig Wittgenstein) were convinced that they were rapidly closing in on a final synthesis. A unifying “Theory of Everything” that would finally nail down all the loose ends. Mathematics would be complete, bulletproof, airtight, triumphant.

In 1931 this young Austrian mathematician, Kurt Gödel, published a paper that once and for all PROVED that a single Theory Of Everything is actually impossible.

Gödel’s discovery was called “The Incompleteness Theorem.”

 Gödel’s Incompleteness Theorem says:

“Anything you can draw a circle around cannot explain itself without referring to something outside the circle – something you have to assume but cannot prove.”

You can draw a circle around all of the concepts in your high school geometry book. But they’re all built on Euclid’s 5 postulates which are clearly true but cannot be proven. Those 5 postulates are outside the book, outside the circle. You can draw a circle around a bicycle but the existence of that bicycle relies on a factory that is outside that circle. The bicycle cannot explain itself.

Gödel proved that there are ALWAYS more things that are true than you can prove. Any system of logic or numbers that mathematicians ever came up with will always rest on at least a few unprovable assumptions.

Gödel’s Incompleteness Theorem applies not just to math, but to everything that is subject to the laws of logic. Incompleteness is true in math; it’s equally true in science or language or philosophy. And: If the universe is mathematical and logical, Incompleteness also applies to the universe.

Gödel created his proof by starting with “The Liar’s Paradox” — which is the statement

“I am lying.”

“I am lying” is self-contradictory, since if it’s true, I’m not a liar, and it’s false; and if it’s false, I am a liar, so it’s true. So Gödel, in one of the most ingenious moves in the history of math, converted the Liar’s Paradox into a mathematical formula. He proved that any statement requires an external observer. No statement alone can completely prove itself true.

His Incompleteness Theorem was a devastating blow to the “positivism” of the time. Gödel proved his theorem in black and white and nobody could argue with his logic.

Yet some of his fellow mathematicians went to their graves in denial, believing that somehow or another Gödel must surely be wrong.

He wasn’t wrong. It was really true. There are more things than are true than you can prove. A “theory of everything” – whether in math, or physics, or philosophy – will never be found because it is impossible.

So what does this really mean? Why is this important?

Faith and Reason are not enemies.

In fact, the exact opposite is true! One is absolutely necessary for the other to exist. All reasoning ultimately traces back to faith in something that you cannot prove.

Proceedings from the 21st ACMS Conference

The Association of Christians in the Mathematical Sciences (ACMS) is pleased to announce the publication of Volume 21 of the ACMS Proceedings which can be found at the webpage or at (or click the image below).

The 21st biennial conference for the Association of Christians in the Mathematical Sciences was held at Charleston Southern University in May 2017.

 This is the first time the ACMS Proceedings have been refereed. The 22nd biennial conference will be held at Indiana Wesleyan University May 29-June 1, 2019. A call for papers for the 2019 conference will be announced in May 2018.

(My own contribution can be found at the end of the Proceedings“Cultivating Mathematical Affections through Engagement in Service Learning.” You can find my presentation here).

Screen Shot 2018-05-06 at 8.23.37 AM